>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