`truncate-remainder``numerator``denominator`procedureSatisfies

q = truncate(n/d)

Thus

*r*is negative iff*n*is negative. However, by any non-unit denominator, the quotient of +1, 0, or -1 is 0; that is, three contiguous numerators by a common denominator share a common quotient. Of the other division operator pairs, only the round pair exhibits this property.