Update bignum.h