Update bigInt.h