Bignum not detected by default