无符号Minifloat实现中，向下取整应如何处理负数结果？

针对你提到的无符号位0.1.1型Minifloat（取值集合为{0, 1, Infinity, NaN}，非IEEE 754标准实现），结合向下取整（round toward -∞）的逻辑，处理负数结果的思路如下：

1. 基础逻辑明确：

   • 向上取整（round toward +∞）时，0-1得到的负数的最小上界是0，结果为0的判断准确。
   • 向下取整的核心是向负无穷方向取最接近且不大于原数的可表示值。

2. 负数结果的处理：
   你的Minifloat没有符号位，取值集合里不存在任何负数元素。0-1的结果是负数，找不到任何满足“不大于该负数”的可表示值——集合里最小的有效值是0，而0大于这个负数，不符合向下取整的要求。

   严格遵循舍入逻辑的话，应该返回NaN，因为该负数无法映射到集合内的任何有效元素，属于超出可表示范围的非法情况。

   若出于业务需求（比如禁止返回NaN）自定义规则，硬返回0也可行，但这其实违背了向下取整的核心定义——0是该负数的向上取整结果，而非向下。

内容的提问来源于stack exchange，提问作者Steve