PHP转换表达式

Question

有人可以一步一步向我解释，为什么以下代码打印出7？

echo (int)((0.7+0.1)*'10th');