note 118502 added to function.is-int

I've found a faster way of determining an integer. On my env, this method takes about half the time of using is_int(). Cast the value then check if it is identical to the original. <?php if ( (int) $n !== $n ) { echo 'not is int'; } else { echo 'is int'; } ?> ---- Server IP: 72.52.91.14 Probable Submitter: 2.231.180.148 ---- Manual Page -- http://php.net/manual/en/function.is-int.php Edit -- https://master.php.net/note/edit/118502 Del: integrated -- https://master.php.net/note/delete/118502/integrated Del: useless -- https://master.php.net/note/delete/118502/useless Del: bad code -- https://master.php.net/note/delete/118502/bad+code Del: spam -- https://master.php.net/note/delete/118502/spam Del: non-english -- https://master.php.net/note/delete/118502/non-english Del: in docs -- https://master.php.net/note/delete/118502/in+docs Del: other reasons-- https://master.php.net/note/delete/118502 Reject -- https://master.php.net/note/reject/118502 Search -- https://master.php.net/manage/user-notes.php