V.I
val (|+|) : E.t -> E.t -> E.t
val (|*|) : E.t -> E.t -> E.t
val (|-|) : E.t -> E.t -> E.t
val (|/|) : E.t -> E.t -> E.t
val (|%|) : E.t -> E.t -> E.t