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