The canonical representation of a rational is as an integer if its value is integral, and otherwise as a ratio.
The types integer and ratio are disjoint subtypes of rational.
Abbreviating.
This denotes the rationals on the interval described by lower-limit and upper-limit.
\issue{REAL-NUMBER-TYPE:X3J13-MAR-89}