update BigInt.cc