Perché il risultato è diventato negativo in caso di overflow di int32?