[DC/TB] [0000000] Fixnum and Bignum.