- intdiv: documentation ( source)
<?php
// Antes de PHP 8.1, se podían utilizar números decimales que PHP
// convertía a enteros quitando la parte decimal.
// Todavía se puede hacer, pero PHP genera errores E_DEPRECATED
print "<p>" . intdiv(17.1, 3.1) . "</p>\n";
print "<p>" . 17.1 % 3.1 . "</p>\n";
?>