Dmitry Stogov wrote:
It is bad practice to use echo $float or var_dump($float) because they depends on php.ini settings. You should use printf() of number_format() for deterministic result.The float formatting algorithms were changed because of licensing issues and new ones are not 100% compatible with previous ones.
Was this documented in the upgrading guide? regards, Lukas
