fix the last known rounding bug in floating point printing
[musl] / lib / empty