Hello Alvaro,
> I wonder if it would be necessary to offer the division operator
> semantics corresponding to whatever additional modulo operator we choose
> to offer. That is, if we add emod, do we need "ediv" as well?
I would make sense, however I do not need it, and I'm not sure of a use
case where it would be needed, so I do not think that it is "necessary".
If it happens to be, it could be added then quite easily.
--
Fabien.