Delete bignum.h