fix printf rounding with %g for some corner case midpoints
[musl] / crt / microblaze /
2012-09-29 Rich Felkermicroblaze port