Use uint64_t for time types