bignum, integer, rational, real, number, t

The type bignum is defined to be exactly (and integer (not fixnum)).