mod package:Boolean

Integer modulus, satisfying: (x div y) * y + (x mod y) == x
Simultaneous div and mod.