Modulo arithmetic and two's complement

0. Right? Wrong. If x=-128 then we get -(-128)<0 => -128<0 => true while for x>0 we get -128>0 => false. So -x<0 should be transformed to x>0 || x==-128. However it is not clear if this second form is easier to understand and so be preferred. ]]>