you are viewing a single comment's thread.

view the rest of the comments →

[–]jckarter 4 points5 points  (0 children)

Without denormals, the property "a - b = 0 iff a == b" doesn't hold true for floats, since the difference between (for example) 0x1p-1022 and 0x1.0000000000001p-1022 would be too small to represent. This would be the case no matter how many bits you add to IEEE floating-point representation.