The type `NUMBER`

is the disjoint union of the types
`REAL`

and `COMPLEX`

(exhaustive
partition)

The type `REAL`

is the disjoint union of the types
`RATIONAL`

and `FLOAT`

.

The type `RATIONAL`

is the disjoint union of the types
`INTEGER`

and `RATIO`

.

The type `INTEGER`

is the disjoint union of the types
`FIXNUM`

and `BIGNUM`

.

The type `FLOAT`

is the disjoint union of the types
`SHORT-FLOAT`

, `SINGLE-FLOAT`

, `DOUBLE-FLOAT`

and
`LONG-FLOAT`

.

These notes document CLISP version 2.49.60+ | Last modified: 2017-11-21 |