Jeśli chodzi o zmianę w systemie, to znalazłem taką ścieżkę:
Ustawienia->Data i godzina->Dodatkowe ustawienia daty i godziny oraz ustawienia regionalne,
Region->Zmiana formatu daty, godziny lub liczb,
Formaty->ustawienia dodatkowe->Liczby->Symbol dziesiętny.
Można wybrać kropkę, ale nie sprawdzałem czy działa i jak to się ma do Piko, bo go nie mam