Module Core_time_float.Span