Делаю один проект на PHP+MySQL. Задача такая, чтоб работал как под Linux, так и под Windows. Вот только закавыка какая. В таблице MySQL тип колонки - DECIMAL(5,1), запрос же который заполняет содержимое поля должен иметь точку, а PHP под Windows ставит в типе переменной float либо точку, либо запятую - в зависимости от региональных настроек.
То есть под дефолтной русскоязычной вендой запрос
UPDATE table SET row="$float"
где $float = 1234,5
не сработает. Нужна именно точка, а не запятая. Как сделать чтоб работало? Хотя бы на уровне конфига PHP или MySQL задать разделитель, не лазя в региональные настройки венды? Или есть другие способы?