P3505R4在IEEE-754实现中数值格式化规则及版本变更的疑问

在符合IEEE-754标准的实现中，P3505R4是否要求1e-4f被格式化为"1e-4"，而1e-4被格式化为"0.0001"？

P3505R4已在布尔诺会议中被纳入标准草案，其提议的核心规则如下：

若value的绝对值处于区间[l, u)内，则转换格式符为f；否则为e。其中l是T可表示的、大于或等于10^-4的最小值，u是小于或等于std::numeric_limits<T>::radixstd::numeric_limits<T>::digits + 1的、向下取整到T可表示的最接近10的幂次的最大值。

结合IEEE-754的浮点数表示特性：

• 最接近10^-4的单精度值为0.0000999999974737875163555145263671875，略小于10^-4
• 最接近10^-4的双精度值为0.000100000000000000004792173602385929598312941379845142364501953125，略大于10^-4

按照P3505R4的规则推导：

• 单精度的1e-4f绝对值小于l（单精度中≥10^-4的最小值），不在[l, u)区间内，因此会使用e格式符，最终格式化为"1e-4"
• 双精度的1e-4绝对值≥l（双精度中≥10^-4的最小值），落在[l, u)区间内，因此会使用f格式符，最终格式化为"0.0001"

这意味着在C++29中，两者的格式化结果确实会出现上述差异。

另外，对比旧版本P3505R3，其规则中提及的是“最接近的可表示为T的值”，而R4版本对l的定义变更为“T可表示的、大于或等于10^-4的最小值”，但在P3505R4文档或cplusplus/papers仓库的#2245议题中，均未找到此次变更的相关讨论记录。

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