BigInt serialization inefficiency