The issue is when the result lies the subnormal range, and would be exact
(or midpoint) with an infinite exponent range.
The fix was a complete rewrite of the dint_tod() function that rounds
a dint to a double: when the result is in the subnormal range, we call
the new function dint_tod_subnormal.