A ratio is a number representing the mathematical ratio of two non-zero integers, the numerator and denominator, whose greatest common divisor is one, and of which the denominator is positive and greater than one.
\issue{REAL-NUMBER-TYPE:X3J13-MAR-89}