<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Yes, but additional digits are just truncated, there's no
rounding. The problem IOhannes mentioned is that with double
precision you more often encounter situations where you don't get
exact numbers because the rounding happens much later. So you
might something like 3.9999999999999 in double precision where
single precision might have rounded to 4. In a number box, this
would be displayed as "3.999".</p>
<p>The other possibility would be that the GUI objects perform some
kind of rounding in double precision mode according to the box
width.</p>
<p>Christof<br>
</p>
<div class="moz-cite-prefix">On 26.02.2020 13:44, Alexandre Torres
Porres wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAEAsFmhBz75bJxacBKAHGEsH6g7TsqB7mcnS=q=BHDB4pgLUVg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr"><br>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">Em qua., 26 de fev. de 2020
às 09:29, Christof Ressi <<a
href="mailto:info@christofressi.com"
moz-do-not-send="true">info@christofressi.com</a>>
escreveu:<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>
<p>I can see that showing too many digits can be annoying
in number boxes</p>
</div>
</blockquote>
<div>But you can set the width/digits of number boxes, it's
not that now all boxes will change and show more numbers,
and by default it still is 5 digits. <br>
</div>
</div>
</div>
</blockquote>
</body>
</html>