"But a code with the assumption that only the number "1" has the meaning "true", was wrong at all.


So please write this:

z = (a > b) ? 1 : 0; // z always only 0 or 1

instead this:

z = a > b; // wrong for further numerical analysis !"

I'm afraid this is not the case. The result of the relational operators is guaranteed to be 0 or 1.