because the user's locale changes how numbers are formatted. Several locales use commas in stead of periods for decimal separators (1,0 in stead of 1.0) which breaks JSON. See #3191.