Re: Bignum not detected by default