fix #5133, BigInt serialization regression