<div dir="ltr"><a class="gmail_plusreply" id="plusReplyChip-0" href="mailto:svenpanne@gmail.com" tabindex="-1">@Sven Panne</a> you are correct, and its definitely true that <br><div>1) we dont have informative literals for +/- infity OR the bits in the nan. and those are truely informative in debugging, as IEEE float and show/read intend!</div><div><br></div><div>so i support and would like to improve that state of affairs myself! (eg my slow motion ghc float ieee improvement stuff, most recently removing x87 support to make rounding deterministic for a change on x86 32 platform!)</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 5, 2019 at 5:15 PM Sven Panne <<a href="mailto:svenpanne@gmail.com">svenpanne@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">Am Mi., 5. Juni 2019 um 22:57 Uhr schrieb Bertram Felgenhauer via Libraries <<a href="mailto:libraries@haskell.org" target="_blank">libraries@haskell.org</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">[...] It's true that extra information in NaNs is lost, but they all behave<br>
the same anyway...<br></blockquote><div><br></div><div>That's true for normal arithmetic with them, but wrong if you use e.g. an external library which encodes things into the sign bit/paylod of NaNs (see e.g. NaN tagging). In the latter case, "read . show" actively destroys necessary information.</div></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>