Revert my bignum change.