* 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. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
