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