<div dir="auto">Double and Float instances are terminally broken in general. What's new?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 5, 2019, 2:56 PM Sven Panne <<a href="mailto:svenpanne@gmail.com">svenpanne@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr">Am Mi., 5. Juni 2019 um 17:02 Uhr schrieb David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</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"><div dir="auto"><div>We already have the law</div><div dir="auto"><br></div><div dir="auto">  read . show = id</div><div dir="auto"><br></div><div dir="auto">which implies the injectivity and surjectivity conditions you specify.</div></div></blockquote><div><br></div><div>I think this doesn't hold for the standard Read/Show instances for Double/Float: IEEE-754 NaNs have a sign bit and a payload, and  both parts are probably lost by the "read . show"-combination. The 2 infinities are probably OK, but what about -0 vs. +0?</div></div></div>
</blockquote></div>