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

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


Yeah, I think that definitely would be the best feature/solution