Сергей, тут number-format поможет, но в json-e надо показывать как число 1.0000, а оно показывает как строку. Добавление round или float проблему не решает.
ЗЫ
Я не автор вопроса, просто самому интересно как это сделать
Сергей, не работает. number_format возвращает СТРОКУ. Надо с этой строки сделать число ЧИСЛО с плавающей точкой 1.0000. Тут вся хитрость в том, чтобы нули не обрезались)
JSON_PRESERVE_ZERO_FRACTION (integer)
Гарантирует, что значение типа float будет преобразовано именно в значение типа float в случае, если дробная часть равна 0. Доступно с PHP 5.6.6.