template class time_point;