Use newer BigInt library