3.7.193. Range

An arithmetic constraint involving a difference between a maximum and a minimum value.