Я не знаю конструктивного обоснования, но вот выдержка из стандарта IEEE 754-1985:
«Должно быть возможно сравнить числа с плавающей запятой во всех поддерживаемых форматах, даже если форматы операндов различаются. Сравнение точны и никогда не переполняются и не переполняются. Возможны четыре взаимоисключающих отношения: меньше, равно, больше и неупорядочено. Последний случай возникает, когда хотя бы один операнд - NaN. Каждый NaN будет сравнивать неупорядоченные с все, включая себя ».