ХЗ, почему они ограничивали.
Где-то это ещё на что-то умножается, после чего не должно быть переполнений?
Т.е., например, идёт рациональная арифметика:

w * 7 DIV 12.

И хотят защититься от переполнений.

Но в формах такой арифметики нет.

В итоге, мы склоняемся в сборке ОберонКоре к консервативному увеличению ограничения в 10 раз.