А)
На сколько понял там битовые поля.

1 бит знак
N бит экспонента
M бит база

Верно?

Б)
Как тогда в битах состояние для плюс бесконечности хранится? А для минус (видимо старший бит)?

В)
nan Как хранится по битам?

Г)
Удобно ли что (nan == nan) == false ? Ведь партиал ордеринг звучит как излишнее усложнение...
Я бы сделал что nan < -inf И что nan == nan
Ох, есть же quiet/signaling ...

зы)
Интересуют и мобайл фоны в том числе, не только пека.

Д)
Какие бы в идеале вы хотели методы сравнения для дробных? Помимо > <