Make sure Bignum can be serialized