Можем ли мы полагаться на op == для двоичного сравнения значений с плавающей запятой?

Мы все знаем (верно ?!), что не следует сравнивать значения с плавающей запятой путем проверки на равенство ( operator == ).

Но что, если я действительно хочу определить, равны ли два float s a и b бинарно равными ? Если им не разрешено быть NaN (или другими «специальными значениями»), это «безопасно»? Могу ли я положиться на operator == , чтобы работать таким образом?