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