Module Float.Multiplicative
module Magma : Interface.MAGMA with type t = floatmodule Medial_Magma : Interface.MEDIAL_MAGMA with type t = floatmodule Semigroup : Interface.SEMIGROUP with type t = floatmodule Monoid : Interface.MONOID with type t = floatmodule Quasigroup : Interface.QUASIGROUP with type t = floatmodule Medial_Quasigroup : Interface.MEDIAL_QUASIGROUP with type t = floatmodule Loop : Interface.LOOP with type t = float