Type fixnum

Supertypes:

fixnum, integer, rational, real, number, t

Description:

A fixnum is an integer whose value is between most-negative-fixnum and most-positive-fixnum inclusive. Exactly which integers are fixnums is CLtL said "\term{implementation-dependent}" but Barmar suggested (and I agree) that implementations should say. -kmp 10-Oct-90implementation-defined. The type fixnum is required to be a supertype of (signed-byte 16).

Barrett thinks maybe some intentional information about fixnums (e.g., about efficiency) might belong here. I don't that kind of thing is appropriate so I haven't added it. -kmp 23-Oct-90