deferred class INTEGER_GENERAL
All features