>On Mo, 2019-04-15 at 16:53 +0200, joerg.straube at iaeth.ch wrote:
>> In my point of view the Oberon spec is rather clear:
>> q = x DIV y, r = x MOD y, x = q*y + r, 0 <= r < y
>This implies 0 < y and leaves the case y <= 0 unspecified
>(y = 0 can of course be excluded).
Correct. The discussion was (only) about negative x.
br
Jörg