Delete bignum.cc

It is no longer used.