Marcus Boerger wrote:
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....
yes .. but given no changes to all of the above mentioned items, it
should stay the same. anyways, i think it would be sufficient to just
note "changed float lib, which will result in sightly different values".
regards,
Lukas
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
