Update include/BigInt.h