Module Time_float.Ofday