В php.ini
есть неясная опция, определяющая, сколько значащих цифр следует отображать при печати чисел с плавающей запятой.В моем случае это выглядит следующим образом
; The number of significant digits displayed in floating point numbers.
; http://php.net/precision
precision = 14
Конечно, это касается только форматирования, а не фундаментального факта, что числа с плавающей запятой изначально неточны.Согласно IEEE 754 точность двойных составляет 15,95 десятичных цифр.