I don't normally triple-post, but here it goes.<div><br></div><div>After re-re-reading this thread, it turns out one <b>(1)</b> post and two <b>(2)</b> answers to that post have covered a topic very similar to the one I have raised. All of the others, to my understanding, do not dwell over the fact that <i>float("nan") is not float("nan")</i> . The mentioned post was not quite the same as mine, but it still had two replies.<br>

</div><div><br></div><div>I will respond to them here. My response, again, is a curiosity why, <i>not</i> a suggestion to change anything. I agree that there is probably no real concern with the current state, I have never had a concern and the concern caused by change would dwarf any possible benefits.</div>

<div><br></div><div><br></div><div>Response 1:</div><div>This implies that you want to differentiate between -0.0 and +0.0. That is bad.</div><div><br></div><div>My response:</div><div>Why would I want to do that?</div><div>

<br></div><div>Response 2:</div><div>"There is not space on this thread to convince you otherwise." [paraphrased]</div><div><br></div><div>My response:</div><div>That comment was not directed at me and thus has little relevance to my own post.</div>

<div><br></div><div><br></div><div>Hopefully now you should understand why I felt need to ask the question after so much has already been said on the topic.</div><div><br></div><div>Finally, Mike Graham says (probably referring to me):</div>

<div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:10px;background-color:rgb(255,255,255)">"I'm sometimes surprised at the creativity and passion behind solutions </span><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:10px;background-color:rgb(255,255,255)">to this issue."</span></div>

<div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:10px;background-color:rgb(255,255,255)"><br></span></div><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:10px;background-color:rgb(255,255,255)">My response:</span></div>

<div><span style="background-color:rgb(255,255,255)"><font color="#222222" face="arial, sans-serif">It was an immediate thought, not one dwelled upon. The fact it was not answered in the thread prompted my curiosity. It is </font><i style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:10px">honestly</i><font color="#222222" face="arial, sans-serif"> nothing more.</font></span></div>