Possible optimization point in BigInt.cpp