1+7=7?

<?php
echo (int) ((0.1 + 0.7) * 10); //7

/*никогда не приводите неизвестную дробь к целому!
http://ru.php.net/manual/ru/language.types.integer.php
*/
?>