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

V>1. целые int32_t не являются подмножеством математических целых, так как они закольцованы

Они не закольцованы, а за-ub'ешены.

EDIT: здесь был ошибочный пример ub, новый пример вот тут

Автор: Evgeny.Panasyuk
Дата: 09.05.20