use current version of bignum