deferred class INTEGER_GENERAL_NUMBER
Features exported to
ANY