deferred class INTEGER_GENERAL
Features exported to
ANY