PHP7 Integer division

The new intdiv() function performs an integer division of its operands and returns it.

<?php
$value = intdiv(10,3);
var_dump($value);
?>

Output:

int(3)