Округление чисел с плавающей точкой до нужного знака после запятой в php и MySQL

php:

round(3.01234, 4); // округление до 4 знака после запятой, получим 3.0123

MySQL:

FORMAT(12332.123456, 4); -- округление до 4 знака после запятой, получим 12332.1235