« Bugzilla Issues Index

#980 — 5.2: simplifying modulo

Section 5.2 says:
The notation “x modulo y” (y must be finite and nonzero)
computes a value k of the same sign as y (or zero) such that
abs(k) < abs(y) and x-k = q * y for some integer q.

You could make the definition a bit simpler by requiring that y be a positive integer, which is true of all uses of 'modulo' in the spec.

yes, but it doesn't hurt and maybe someday in the future it will be needed.