More options for bignum debugging