🚀 go-pugleaf

In article <E1wt*4@cs.psu.edu> flee@shire.cs.psu.edu (Felix Lee) writes:
> There are three things that most people would like:
>	quotient = -5 div 3 = -(5 div 3) = -1
>	remainder = -5 mod 3 = (-5 + 6) mod 3 = 1
>	3*quotient + remainder = -5
>
>Unfortunately, they're mutually contradictory.  You must choose one of
>them to violate.  Someone will be unhappy with your decision.
> 

I differ. The first of these, -5 div 3 == -1 is wrong.
-5 div 3 is -2. Fix that, and everything is cool. Draw both versions
of the 'div-3' graph, and you'll see why this makes sense.

The -5 div 3 == -1 graph has an ughliness in it around zero that translates
into an extra test in algorithms.