Google found this for me:
For Windows 10:
Settings/time&language/under related settings click “Additional date, time, & regional settings”/under region click “change date, time, or number formats/a dialog box pops up, click additional settings/numbers tab, decimal symbol - change to .
Apply, ok,
then apply, ok