mod package:basic-prelude

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