Data.Digit.Decimal.Dec

bound : (rec : Dec) -> So (lt (toNat rec) (fromInteger 10))

toNat : (rec : Dec) -> Nat