Option to choose between "." (dot) and "," (comma) for the decimal separator HH.hh

When I export the data in CSV format, Excel interpret the hours as text because in Excel the decimal separator is set to "." (dot).
Would be good to have an option to choose between "." and "," for the decimal separator.