mod package:singletons-base

Modulus of natural numbers. Mod x 0 is undefined (i.e., it cannot be reduced).