Data.Number.Nat

data Nat

fromNat

toNat

unsafeNat

data MaxNat