L'intérêt de ne pas autoriser l'overflow,c'est que c'est ce que le standard C définit pour les entiers signés.

D'ailleurs, quand on autorise l'overflow (genre -fwrapv avec GCC), l'ensemble des entiers signés est aussi un anneau isomorphe à un Z/2^{2^k}Z comme celui des non signés. (La division est différente, mais ça ne fait pas partie de la définition d'un anneau de toute façon.)