Updating: minorly improving INT2PROGINATS.
Updating very very minor.
Updating very very minor.