如果 Fa、Fb 都是正数（包括 +0 和 +inf），非 NaN，且浮点数与整数的 endianness 一致，那么你的命题是成立的。
类似地，如果 Fa、Fb 都是负数，非 NaN，且不存在 endianness 的问题，那么若 Fa > Fb，必有 Ia < Ib 。

【 在 webhost 的大作中提到: 】
: 就是任意两个浮点数Fa、Fb的内存值，强制转换成整数去看待的情况下记为Ia，Ib
: 是否有，若Fa>Fb，一定Ia>Ib
: 同样，Double和Long是否也是这样?
--
FROM 85.5.187.*