Added double to time_val constructor