Data.Number.Natural

data Natural

fromNatural

toNatural

unsafeNatural

data MaxNatural

type NonNegativeRational

fromNonNegativeRational

toNonNegativeRational

unsafeNonNegativeRational