The time_interval operator