Oh Dear

[Michiel Helvensteijn]

Andrei Alexandrescu wrote:

> \dee\ also defines modulus for  floating-point numbers in the same way
> as the  IEEE~754  standard.  When  at least one  of @a@  and @b@  is a
> floating-point value in \cc{a \%  b}, the result is the floating-point
> number @r@ satisfying the relation \cc{a = b * n + r}, where @n@ is an
> integer\footnote{``integer'' in  the mathematical sense  here} and @r@
> is a positive number less than @b@'s absolute value.

Oh, about this part. I left it out because it's not about integer division,
but while I'm at it anyway.

I believe you wanted the word "non-negative" there, instead of "positive".
However, I just ran the following test:

----------------------------
writefln(5.0%2.0);
writefln(5.0%(-2.0));
writefln((-5.0)%2.0);
writefln((-5.0)%(-2.0));
----------------------------

it outputs:

----------
1
1
-1
-1
----------

So the remainder can still become negative, it seems. Same as with integer
modulo. I would expect this consistency, but your paragraph there says
something different.

-- 
Michiel Helvensteijn