use Int expression rather than Real expression when all variables and coeffients of a constraints are integers

This often allows using stricter logic such as QF_LIA.