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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
