В php "справедливо" равенство (далее знак равно в математическом смысле):
(int) ((0.1+0.7)*10) == 7
-- т.е. если привести левую часть к целому (а это делается путём отбрасывания дробной части)
Это можно проверить, запустив код вида:
