Это скорее вы без понятия что такое integer arithmetic, это как раз ВЫ разводите демагогию и вырываете слова из контекста, сами при этом не привели ни единого аргумента. Для ASM переполнение регистра/ячейки памяти обычное дело и оно входит в стандартный комплект целочисленной арифметики, которая кстати в свою очередь описана в других стандартах. Pascal в свою очередь опирается на правила целочисленной арифметики, они строго регламентированы и правила переполнения здесь не баг, а фича. Почитайте Кнута на эту тему отвлекаясь вообще от языков и поштудируйте CS. И вопли и сопли здесь только у вас, вы вообще не в адеквате. Может и вовсе коробит от того что древний и уже умерший Pascal по дизайну превосходит Rust. Если целочисленное переполнение вызывает у вас проблемы и приступы необоснованной агрессии, вам вообще нечего делать в индустрии. Если уж на то пошло, то в C++ это считается UB, но на практике все значимые компиляторы работают по принципу целочисленной арифметики. Можно регламентировать это явно и тогда это перестанет быть UB, круто да? А ещё вы явно не различаете undefined behavior и unspecified behavior, но это уже мелочи в вашем случае.