Cast timer_t to long to save precision in printouts