deferred class INTEGER_GENERAL_NUMBER
Features exported to INTEGER_GENERAL_NUMBER