include BsBastet.Float.Additive;
module Magma = Float-BsBastet.Additive.Magma;
module Semigroup = Float-BsBastet.Additive.Semigroup;
module Monoid = Float-BsBastet.Additive.Monoid;
module Quasigroup = Float-BsBastet.Additive.Quasigroup;
module Loop = Float-BsBastet.Additive.Loop;
module Group = Float-BsBastet.Additive.Group;
module Abelian_Group = Float-BsBastet.Additive.Abelian_Group;