Draft: Remove too many zeros

Remove unnecessary from numbers: 1.80000000 --> 1.8

added feature label

added 1 commit

• a27c182a - Small fix

Compare with previous version

I believe you were looking for:

if (p := res.find('.')):
    res = res[:p+2] + res[p+2:].rstrip('0'))

Walrus operator FTW!

added 1 commit

• 2178b66e - Use Walrus operator

Compare with previous version

Is there any situation where it might print numbers in scientific notation here? 1.0000000E-10 would get botched by this change.

marked this merge request as draft

yes, this is a problem for sure. I really do not like this approach but I also do not like these lengthy numbers in the code. For now, I couldn't find a really safe approach that also has enough precision.

I thought Marco send you a paper, which has the optimal floating point length printing. The more that I think of it, the more unsure I am about floating-point numbers. is 0.1000000000000000000000000 the same as 0.1 in binary floating-point numbers? So at this point, I would not introduce any pretty-printing of floating-point numbers at all

I would close this MR because it would just be a prettyprinter functionality that, however, is not 100% safe to do in any case. For the sake of not introducing any errors just for some prettier numbers.

closed