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