No, sorry. That post was kind of two things rolled into one.

The example was about comparing NaN with ordinary numbers, not with itself.

In the example, both "num_examples <= 0" and "0 < num_examples" evaluate to false, which is mathematically correct but leaves the function in an inconsistent state.