Update BigNumber.h