While true, that's irrelevant to my point. The same thing occurs with this: if( a <= x/y ) assert( a <= x/y ); Or with any other of the operators yo

While true, that's irrelevant to my point. The same thing occurs with this: if( a <= x/y ) assert( a <= x/y ); Or with any other of the operators you mention (<, <=, >, >=).