fix bignum test