Added translations of int_min and int_max constraints.