On 8 August 2014 11:25, Peter Maydell <peter.mayd...@linaro.org> wrote: > Since we've already dealt with the NaN and infinity and > denormal cases by this point in the code, we know that > value == (-1)^S * 2^(exp-1023) * 1.frac > If you plug in the value == 2.0^1022 and work it out > you'll find that this corresponds to f64_exp == 1023.
...rechecking my math, if exp - 1023 == 1022 then exp should be 2045, not 1023, so I guess we do have a bug here. My point remains that your email would have been significantly more helpful if you'd explained that in your email rather than leaving me to guess at what you were thinking about... thanks -- PMM
