added to time_to_int()