Precision and Integer Constraints

Another use of Precision is determining whether an integer constraint, such as A1 = integer or A1 = binary, is satisfied. If the difference between the decision variable's value and the closest integer value is less than the Precision, the variable value is treated as an integer.