RealFrac -is:module

Extracting components of fractions.
Deep embedded version of RealFloat. Extracting components of fractions. Minimal complete definition: properFraction, round, floor and ceiling.
Generates a random fractional number in the [inclusive,exclusive) range. This generator does not shrink.
Convert a real fractional value into a Decimal of the appropriate precision.
Time interval in seconds. Directly applicable to DiffTime and NominalDiffTime. The format is the following:
DD:HH:MM:SS
>>> realFracDdHhMmSsInterval @Double 59
"00:00:00:59"
>>> realFracDdHhMmSsInterval @Double 90
"00:00:01:30"
>>> realFracDdHhMmSsInterval @Double 86401
"01:00:00:01"
>>> realFracDdHhMmSsInterval @Double (356 * 86400)
"356:00:00:00"
Provides a Function instance for types with RealFrac.
Shrink a fraction, preferring numbers with smaller numerators or denominators. See also shrinkDecimal.