An InlineOrdering instance for Number
Represents a union of all numerical primitives. This abstraction facilitates the creation of numerical constraints.
A Number-supported modulo. Only supports non-floating primitives.
the dividend
the divisor
the remainder of the Euclidian Division