bignum.h