deferred class INTEGER_GENERAL_NUMBER
All features