bignum, integer, rational,
real,
number, t
The type bignum is defined to be exactly (and integer (not fixnum)).
(and integer (not fixnum))