denominator

Extract the denominator of the ratio in reduced form: the numerator and denominator have no common factor and the denominator is positive.
Grab the denominator of an SReal, if available
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
fractionDenominatorDisplayStyleShiftDown
fractionDenominatorGapMin
fractionDenominatorShiftDown