fix Bignum dump issue