To jsem nevěřil vlastním očím, když jsem tohle viděl na wiki:
The case of general integers
If a and d are integers, with d non-zero, then a remainder is an integer r such that a = qd + r for some integer q, and with |r| < |d|.
When defined this way, there are two possible remainders. For example, the division of −42 by −5 can be expressed as either
−42 = 9×(−5) + 3
as is usual for mathematicians,[citation needed] or
−42 = 8×(−5) + (−2).
So the remainder is then either 3 or −2.
Je to odsud: http://en.wikipedia.org/wiki/Remainder
V diskuzi je to zkritizováno, aby taky ne.
-42 div 9 = -5 ?
Tak nematematik si o tom může myslet co chce, může proti tomu klidně protestovat, může to dokonce kritizovat v diskusích, ale to je vše, co proti tomu může dělat.

Správná je varianta "-42 div 9 = -5", a to v důsledku Eukleidovy věty o celočíselném dělení.
Ovšem nutno poznamenat, že symetrická varianta se za špatnou taky nedá označit. A pokud jde o implementaci v programovacích jazycích, tak varianty operace modulo a z ní plynoucího výsledku celočíselného dělení jsou v podstatě 4:
1. zbytek je vždy nezáporné číslo (Eukleidovská implementace, "nejsprávnější", leč nejojedinělejší)
2. zbytek má znaménko dělence
3. zbytek má znaménko dělitele
4. zbytek má takové znaménko, aby byl co nejblíže nule.