为什么`math.ldexp`会为指数＆gt; 1024引发OverflowError，而不是指数＆lt; -1073？

Question

math.ldexp(0.5, 1025)会产生OverflowError。 Numpy的等效函数返回inf。但是，另一方面，math.ldexp(0.5, -1074)不会引发异常，而是返回0.0，如下所示：

In [275]: math.ldexp(0.5, 1024)
Out[275]: 8.98846567431158e+307

In [276]: math.ldexp(0.5, 1025)
---------------------------------------------------------------------------
OverflowError                             Traceback (most recent call last)
<ipython-input-276-ce1573e0249b> in <module>()
----> 1 math.ldexp(0.5, 1025)

OverflowError: math range error

In [277]: math.ldexp(0.5, -1073)
Out[277]: 5e-324

In [278]: math.ldexp(0.5, -1074)
Out[278]: 0.0

当指数过大时，为什么Python raiso为OverflowError，而当它太小时为什么不呢？是否有正当理由，或者这应该被视为错误？

Answer 1

已知IEEE浮点运算具有一定程度的不精确性。 0.0是非常接近math.ldexp(0.5, -1074)的值。但是，没有一种表达接近math.ldexp(0.5, 1025)的值的有效方法，所以我认为这就是它引发异常的原因。