Здравствуйте, Nuzhny, Вы писали:

N>Разумеется, это не натуральное, а целое положительное!

Любое целое положительное число является натуральным.

N>Потому что запись -r не существует в моноиде натуральных чисел.

А ей нужно в нем существовать? Зачем?

N>Как раз в этом надуманном, но правомерном примере видно, что лучше проверить значение r при вводе один раз, а потом использовать свободно, чем каждый раз кастовать его к правильному типу. Притом, что проверять всё равно придётся, ведь r должен быть небольшим по факту, а ещё и меньше, чем размер сигнала.

Не понял тонкости. Проверять нужно и так и так. А насколько часто Вам требуется, имея r, получить -r, что держать r в беззнаковом типе однозначно выгоднее?