Symbol: ET_NUM