RealFrac -package:distribution-opensuse -package:base-prelude package:Boolean

Deep embedded version of RealFloat. Extracting components of fractions. Minimal complete definition: properFraction, round, floor and ceiling.