Start of BigInt code