change some timing types from int to uint64_t to avoid costly assumptions