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