minor tweaks for String2Float<> refactoring