$b=(0.1+0.7)*10; echo intval($b);为何输出0.7？

Question

php$b=(0.1+0.7)*10;echointval($b);为什么输出的是0.7？不是0.8？