Ist es bei der Zweierkomplement-Berechnung nicht so, dass es nur zu einem Bereichsüberlauf kommt, wenn das Carry-In und das Carry-Out unterschiedlich ist? Im Text heißt es "Zur Erkennung des Fehlers reicht es also aus, die Vorzeichenbits zu vergleichen." - Das alleine sagt doch aber nichts über die Richtigkeit des Ergebnisses, oder?