Message 407095 - Python tracker

[Tim]
> Note that, on Windows, ldexp() in the presence of 
> denorms can truncate. Division rounds, so
>
>    assert x / 2**i == ldexp(x, -i)
>
> can fail.

Objects/longobject.c::long_true_divide() uses ldexp() internally.  Will it suffer the same issues with subnormals on Windows?  Is CPython int/int true division guaranteed to be correctly rounded?