Implemented intdiv()

https://wiki.php.net/rfc/intdiv