PHP String 转int的问题

Question

<?php






$a=012;
echo (int)$a;
echo  $a/4;

为什么$a被转成了10？？？

Answer 1

数字0开头，是8进制