Issue #7632: Fix a serious wrong output bug for string -> float conversion.