замечу, что основной машинный код для комбинированой операции не особо сложнее будет, если брать x86: этот камень таки имеет очень удобный флаг «overflow» (который не зависит от флага переноса). соответственно, мы просто работаем с 32-битными целыми, а после операции вставляем `jo i_need_more`. в подавляющем большинстве случаев это не стоит ничего, потому что jump not taken. а если таки taken — то тут уже расчехляем тяжёлую артиллерию, конвертируем ячейку в бигнум — и делаем медленно.

в принципе, ничего не мешает добавить такое же поведение и в оберон, но… зачем. в этом случае вполне достаточно библиотеки. в состав того же BBCB входит модуль Integers, например, с базовыми операциями над целыми. в принципе, этого достаточно, чтобы построить всё остальное. но практически оно надо только в специфических областях, и тащить всю тяжёлую механику бигнумов в язык будет прямым противоречием обероновскому духу. если на то пошло, то тогда уж лучше нативные комплексные числа. хотя и они мало кому нужны, и мало кто понимает, что они такое.