Symbol: IEEE_TIMER_SCALE