ncc: the sign of the result of unary operators should be preserved