Тоже внесу свои пять копеек:
Чтобы разделитем целой и дробной части считалась точка, а не запятая (в калькуляторе и проч.) надо в файле
/usr/share/i18n/locales/ru_RU
строку
decimal_point "<U002C>"
заменить на
decimal_point "<U002E>"
а затем выполнить команду
sudo dpkg-reconfigure locales