
ANSI Common Lisp 12 Numbers 12.2 Dictionary of Numbers
12.2.6 rational 
System Class 
 Class Precedence List:

rational,
real,
number,
t
 Description:

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 type rational.
 Compound Type Specifier Kind:

Abbreviating.
 Compound Type Specifier Syntax:

(rational [lowerlimit [upperlimit)]]
 Compound Type Specifier Arguments:

lowerlimit, upperlimit  interval designators
for type rational.
The defaults for each of lowerlimit and upperlimit is the symbol *.
 Compound Type Specifier Description:

This denotes the rationals on the interval described by
lowerlimit and upperlimit.
 Allegro CL Implementation Details:

None.
