Вы в вопросе написали такое выражение.
(-1)  MOD 256  по правилам арифметики, согласно которым остаток неотрицательный, равен 255.
0 - (1 MOD 256) равен -1
Можете проверить хоть в ББ, хоть в python, хоть в Lua, но только в Обероне -1 MOD 256 = 0 - 1 MOD 256 (не проверял)
Одна из проблем Оберона в нашем чудном мире, что он ведёт себя более логично, чем другие языки, и потому представляется менее предсказуемым для людей, привыкшим к более нелогичному поведению.

Кстати, из побочных преимуществ - упрощается создание синтаксического дерева.