mod package:constrained-categories

integer modulus, satisfying
(x `div` y)*y + (x `mod` y) == x
simultaneous div and mod