Module Time_float.Span