include BsBastet.Float.Multiplicative;
module Magma = Float-BsBastet.Multiplicative.Magma;module Semigroup = Float-BsBastet.Multiplicative.Semigroup;module Monoid = Float-BsBastet.Multiplicative.Monoid;module Quasigroup = Float-BsBastet.Multiplicative.Quasigroup;module Loop = Float-BsBastet.Multiplicative.Loop;