rebase-1.8: A more progressive alternative to the "base" package
Rebase.Numeric.Natural
module Numeric.Natural