fix an issue of BigInt