Module Interval.Float

module Float: S  with type bound = Float.t