On Mon, Sep 22, 2025 at 02:30:08 +0200, pourko--- via Bug reports for the GNU Bourne Again SHell wrote: > About 0.30000000000000004 and about 0.16999999999999993... > I am thinking, who really needs a 17 decimal digits long significand? > Suggestion: round the significand to 15 decimal digits just before > outputting the final result.
This is preposterous. Why 15? Why not 16? Or 12? Or 7? Or 1? You can't just pick a random number of digits and decree that what's supposed to be a general purpose utility should prematurely round floating point values to that level of precision. A general purpose utility should retain as much precision as possible. If YOU, the programmer/scripter, want less precision, then there are tools available to do that. In bash, there's only one: printf. But we're going in circles now, so this is my last attempt to reason with you.
