Class IntConstraint