Yes, true.
While on the other hand, who knows how castes in page leads? :)
\rb@thinkpad:~$ php -R ' echo (int) ( (0.1+0.7) * 10 ),"\";'
7
b@thinkpad:~$ php -R ' echo (int) ( (0.2+0.7) * 10 ),"\";'
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
\r