Assuming twos complement goes beyond overflow characteristics. I did not use C on the Univac 1100, so it may have finessed this somehow, but I did get bitten a few times in other languages by the fact that positive and negative zero do not compare equal on a ones complement machine.