Fix strtof decimal rounding close to half least subnormal (bug 18247)

[Roland McGrath]

I think math reasonably covers the FP-magic parts of strto[df] and printf_fp.
Seek normal review for changes that are not confined to the FP logic.