denominator package:safe-decimal

Get the decimal denominator. Always will be a multiple of 10. Does not evaluate the argument.

>>> import Numeric.Decimal

>>> :set -XDataKinds -XTypeApplications

>>> decimalDenominator <$> arithD @RoundHalfEven @3 @Int 123.45
Arith 1000