The time_point API