24 Mar
2014
24 Mar
'14
6:08 p.m.
* David Matthews:
So both values are equal according to Poly/ML. But the correct conversion for the first one is (in hexadecimal floating point notation) 0x1.ffffffffffffdp-1, and for the second 0x1.ffffffffffffep-1, so the values should be different.
Thanks for reporting that. I find IEEE arithmetic a bit of a mystery so I'll take your word for the fact that there's an error.
It is a mystery. I've been told that the IEEE "standard" allows that implementations are off a few bits when they convert between decimal and binary representations. :-/
Glad it was fixed by a dtoa update.