bignum debugging