Integer Semantics RFC changes

To match the Integer Semantics RFC, which was merged into php-src master: https://wiki.php.net/rfc/integer_semantics