RealFrac -is:module

Extracting components of fractions.
read RealFrac number
Deep embedded version of RealFloat. Extracting components of fractions. Minimal complete definition: properFraction, round, floor and ceiling.
proof that a String is a Real/Fractional number
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.
read a signed RealFrac number
Provides a Function instance for types with RealFrac.
Shrink a fraction, preferring numbers with smaller numerators or denominators. See also shrinkDecimal.