JackNazaryan, тут, грубо говоря, дело в том, что числа машина, как известно, хранит в двоичной форме, а 0.1 и 0.7 нельзя представить в виде четкой двоичной дроби, они получаются бесконечными, что приводит к их "обрезанию", потому при преобразовании они теряют точность. Получается что-то типа 0.09999... + 0.69999... = 0.79999.... Потом умножаем на 10, а int отбрасывает дробную часть, что оставляет нас с 7-ой вместо 8-ки. И дело тут совсем не в PHP, а в стандарте, который описывает представление чисел с плавающей точкой, который повсеместно используют.
