decimalPoint property
Which decimal point to use for exported CSV. Defaults to the same
as the browser locale, typically . (English) or , (German,
French etc).
API Docs: https://api.highcharts.com/highcharts/exporting.csv.decimalPoint
Implementation
String? decimalPoint;