timers internally now use 64bit unsigned int, if available