replaced bignum.h