Update BigNum.h

- + *int