MacOS: Change numeric keypads comma to a dot