PHP String 转int的问题

<code><?php $a=012;
echo (int)$a;
echo  $a/4;
</code></code>

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

回复内容：

<code><?php $a=012;
echo (int)$a;
echo  $a/4;
</code></code>

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

数字0开头，是8进制