Hello Sebastian, lemme try this again. You can in no way rely on the last digits of a float output. Those depend on your system, your CPU, your ini settings and any operation you do with floats reduces the accuracy....
best regards marcus Tuesday, April 17, 2007, 7:45:57 PM, you wrote: > Marcus Boerger wrote: >> float numbers are never perfect values. So should in anyway never rely >> on a certain output format. So there is nothing to document here. > We have a changed behavior here that should be documented. Otherwise > users will run into problems. As the non-academic example that raised > this discussion shows. > - Sebastian Best regards, Marcus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php