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".

The other possibility would be that the GUI objects perform some kind of rounding in double precision mode according to the box width.

Christof

Em qua., 26 de fev. de 2020 às 09:29, Christof Ressi <info@christofressi.com> escreveu:

I can see that showing too many digits can be annoying in number boxes

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.