PHP 7 - Division des nombres entiers

PHP 7 introduit une nouvelle fonction intdiv(), qui effectue une division entière de ses opérandes et renvoie la division comme int.

Exemple

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

Il produit la sortie de navigateur suivante -

int(3) 
3