Module V.I
val (|+|) : Bastet.Float.Ring.t -> Bastet.Float.Ring.t -> Bastet.Float.Ring.tval (|*|) : Bastet.Float.Ring.t -> Bastet.Float.Ring.t -> Bastet.Float.Ring.tval (|-|) : Bastet.Float.Ring.t -> Bastet.Float.Ring.t -> Bastet.Float.Ring.t
V.Ival (|+|) : Bastet.Float.Ring.t -> Bastet.Float.Ring.t -> Bastet.Float.Ring.tval (|*|) : Bastet.Float.Ring.t -> Bastet.Float.Ring.t -> Bastet.Float.Ring.tval (|-|) : Bastet.Float.Ring.t -> Bastet.Float.Ring.t -> Bastet.Float.Ring.t