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