Defined floored division and modulo on Nat.