Number of 32bit timers