Целое число PHP проблемы округления

echo (int) ((0,1 + 0,7) * 10);

Почему выше выводится 7? Я понимаю, как PHP округляется до 0, но не (0,1 + 0,7) * 10 оценивается как число с плавающей запятой, а затем передается как целое?

Спасибо!