Delete BigInt.h