b@thinkpad:~$ php -r'echo (int) ( (0.1+0.7) * 10 ),"\n";'
7
b@thinkpad:~$ php -r'echo (int) ( (0.2+0.7) * 10 ),"\n";'
9
b@thinkpad:~$ php -v
PHP 5.3.2-1ubuntu4.5 with Suhosin-Patch (cli) (built: Sep 17 2010 13:41:55)
Copyright © 1997-2009 The PHP Group
Zend Engine v2.3.0, Copyright © 1998-2010 Zend Technologies