Fixed a bug which would prevent proper parsing of floating point options when the locale used has a decimal point other than the dot character ("."). Idea by Aleksander Adamowski <olo at altkom dor com dot pl>.