Description:
------------
When adding to PHP_INT_MAX the PHP internals switch the type from INT to FLOAT.

This should be documented.

The real problem is when you attempt to cast it back to int.

Reference:
https://github.com/paragonie/random_compat/issues/50#issuecomment-148128683



Test script:
---------------
<?php
$min = PHP_INT_MAX + 1;
var_dump($min);

$newMin = (int)$min;

var_dump($newMin);

Expected result:
----------------
I expect that a Exception or Warning would be raised.
E_WARNING | E_NOTICE would be acceptable, I would use E_WARNING

I think that this code should register 2 warnings.

1) When you are overflowing the integer, and the engine is recasting to float.

2) When you are casting from Float to Int and the cast will lose data.


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