Create bignum.h