GHC.Natural

The Natural number type

data Natural

isValidNatural

Conversions

wordToNatural

naturalToWordMaybe

Checked subtraction

minusNaturalMaybe

Modular arithmetic

powModNatural