Issue #7632: Fix one more case of incorrect rounding for str -> float