Update IntegerNumber.h