PeanoNat.Nat
val sub : int -> int -> int
val max : int -> int -> int
val divmod : int -> int -> int -> int -> int * int
val div : int -> int -> int
val modulo : int -> int -> int