Added Bignum and on-demand promotion of Fixnums