<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p><font size="4">Indeed, I hand edited the output so it writes in a
        single line... but I added confusion to confusion.<br>
      </font></p>
    <p><font size="4">May be not a good idea. Better to write it as is
        without rounding, it will be less confusing to the reader<br>
      </font></p>
    <p><font size="4">Thanks to report</font></p>
    <p><font size="4">Hilaire</font><br>
    </p>
    <div class="moz-cite-prefix">Le 06/03/2023 à 02:34, Martin McClure
      via Cuis-dev a écrit :<br>
    </div>
    <blockquote type="cite"
      cite="mid:49d98942-f174-a9a3-4a88-4606c4927cca@hand2mouse.com">Ah,
      welcome the lovely and confusing world of decimal expressions of
      binary floating-point numbers. <br>
      <br>
      What is not obvious here is that the last case <i>is</i> rounded.
      <br>
    </blockquote>
    <pre class="moz-signature" cols="72">-- 
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
  </body>
</html>