целочисленное разделение в PHP

$a = 5;
$b = 2;
echo intdiv($a, $b); // 2
Beautiful Bug