Module Core.Interval.S_time.Time.Ofday