Add the actual bignum.hh