Hello Lukas, float numbers are never perfect values. So should in anyway never rely on a certain output format. So there is nothing to document here.
best regards marcus Tuesday, April 17, 2007, 10:16:39 AM, you wrote: > 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 Best regards, Marcus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
