Cast time_t to uint64_t before converting to milliseconds in ct_policy.c