PHP 7 引入一个新函数 intdiv()，它对其操作数执行整数除法，并将除法返回为int。
<?php $value = intdiv(10,3); var_dump($value); print(" "); print($value); ?>
它产生以下浏览器输出–
int(3) 3
