Update unlimitedInt.h