RE: Bignum not detected by default