I assume any translation service would account for this. As far as I know, commas as the decimal separator aren't used anywhere in the English world. Although,

I assume any translation service would account for this. As far as I know, commas as the decimal separator aren't used anywhere in the English world. Although, perhaps the author was not a native speaker, but still personally writing in English and made the mistake.