enforce US locale in string formatter to avoid problems in parts of the world, which do not use "." as the decimal separator.