intdiv
pestphp/pest
Supported Versions: PHP 7, PHP 8
Integer division
<?php intdiv
(
int $num1
,
int $num2
):
int