正确的 strtod 实现？

Question

简单的问题：数字 1.15507e-173 的正确位表示形式是双精度吗？ 完整的问题：如何确定这个数字的正确解析？

背景：我的问题来自this answer，它显示了来自三个不同解析器的两个不同位表示，即

0x1c06dace8bda0ee0

和

0x1c06dace8bda0edf

我想知道哪个解析器做对了。

更新the C99 specification 的第 6.4.4.2 节说对于 C 解析器，

"...the result is either the nearest representable value, or the larger
or smaller representable value immediately adjacent to the nearest
representable value, chosen in an implementation-defined manner."

这意味着解析的数字不需要是最近的，甚至不需要是两个相邻的可表示数字之一。 7.20.1.3 中的相同规范说 strtod() 的行为方式与内置解析器基本相同。感谢指出这一点的回答者。

另请参阅this answer 来回答类似的问题，以及this blog。

Answer 1

:= num1 = ImportString["\.1c\.06\.da\.ce\.8b\.da\.0e\.e0", "Real64", ByteOrdering->1] // First; := num2 = ImportString["\.1c\.06\.da\.ce\.8b\.da\.0e\.df", "Real64", ByteOrdering->1] // First; := SetPrecision[num1, Infinity]-numOr //N := numOr = SetPrecision[1.15507, Infinity] * 10^-173; -190 = -6.65645 10 := SetPrecision[num2, Infinity]-numOr //N -189 = -2.46118 10

鉴于两者都偏离同一侧，因此正确的表示是第一个。