fix the last known rounding bug in floating point printing
[musl] / src / thread / clone.c