Solve minimization problem where constraint is the system of linear inequation with MathOptInterface efficiently

Use Float64 instead of Int coefficients in A and b. This is slight usability bug from the MathOptInterface perspective, but isn’t visible from JuMP since it automatically converts values to Float64s.