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

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to