Description:
------------
On 64-bit PHP, hardcoding the literal `-9223372036854775808` or `-0x8000000000000000` produces a float instead of an int. This appears to be some kind of parser bug, because introducing a subtraction into the mix avoids the problem (see below).


Test script:
---------------
<?php

var_dump(-9223372036854775808);
var_dump(-9223372036854775807 - 1);

var_dump(-0x8000000000000000);
var_dump(-0x7fffffffffffffff - 1);

Expected result:
----------------
int(-9223372036854775808)
int(-9223372036854775808)
int(-9223372036854775808)
int(-9223372036854775808)

Actual result:
--------------
float(-9.2233720368548E+18)
int(-9223372036854775808)
float(-9.2233720368548E+18)
int(-9223372036854775808)