*printf %f and uClibc

[Bruno Haible]

Hi all,

uClibc has another printf bug, not encountered on other systems:
  sprintf ("%f", 1.234321234321234e15);
should return "1234321234321234.000000"
(because we know that the value is an integer, and there are no rounding
errors in the decimal to binary conversion),
but returns   "1234321234321234.000010".

Should this be worked around in gnulib, or do you find such unmotivated
rounding errors acceptable?

Bruno