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