<how to change default decimal separator in Windows 10 | Tips Application