deferred class INTEGER_GENERAL_NUMBER
Features exported to
NUMBER_TOOLS