对于754来讲，你的结论基本上是正确的

唯一需要补充的是+-0的情况

其次，现在好像新出了一个浮点标准，试图解决754里面subnormal的那个问题

让硬件做起来更简单

【 在 lele 的大作中提到: 】
: 如果 Fa、Fb 都是正数（包括 +0 和 +inf），非 NaN，且浮点数与整数的 endianness 一致，那么你的命题是成立的。
: 类似地，如果 Fa、Fb 都是负数，非 NaN，且不存在 endianness 的问题，那么若 Fa > Fb，必有 Ia < Ib 。
:
--
FROM 1.202.141.*