Fixing up BigInt