Merge "Removing dead code from BigInt"