intdiv() – return the integer portion of a division

echo intdiv(8,3);    //Returns 2,  8/3=2.667