1--TEST--
2intdiv functionality
3--SKIPIF--
4<?php
5if (PHP_INT_SIZE !== 8) {
6    die("skip this test is for 64-bit platforms only");
7}
8?>
9--FILE--
10<?php
11// (int)(PHP_INT_MAX / 3) gives a different result
12var_dump(intdiv(PHP_INT_MAX, 3));
13?>
14--EXPECTF--
15int(3074457345618258602)