HaloO, Darren Duncan wrote:

Following from this, I propose that we have distinct-looking operators(not just multis) that users can explicitly choose when they want to dointeger division/modulus or non-integer division/modulus.For example, we could have: div - integer division mod - integer modulus / - number division % - number modulus

May I use this to remind the list that I proposed to define the modulus in the most algebraically pleasing way, i.e. in the Euclidean definition. (See http://www.cs.uu.nl/~daan/download/papers/divmodnote-letter.pdf) That is we define % and mod as the saw-tooth function that has jumps at every integer multiple of the absolute value of the modulus: ^ y |_m / /| / / / / / / | / / / / x % m / / |/ / / / -*---*---*---*---*---*--> x -2m -m 0 m 2m 3m E.g. 3.2 % 2.4 == 3.2 % -2.4 == 0.8 This definition is most useful when it comes to defining the modulus

`for classes that fit the underlying axioms of an (euclidean) integral`

`domain. E.g. this modulus is also defined for Complex numbers.`

Regards, TSa. --