fix the last known rounding bug in floating point printing
[musl] / COPYING
2011-02-12 Rich Felkerinitial check-in, version 0.5.0