Здравствуйте, Евгений Музыченко, Вы писали:

ЕМ>Ну да, естественно. Но r-то от этого не перестает быть натуральным.

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