В настоящее время программа автоматически определяет, какой десятичный разделитель используется в SMS и Push уведомлениях. Поэтому специально задавать десятичный разделитель не нужно, такая настройка удалена из программы.
Зафиксировал неточность в описании, спасибо.