note 78507 added to language.types.string

This is debatably a bug, and certainly not what I expected: <?php var_dump('00' == '0e99'); // true var_dump('0e99' == '00'); // true ?> Basically, any two strings such that each matches /0+([eE]\d+)?/ are equal. ---- Server IP: 209.41.74.194 Probable Submitter: 63.253.43.10 ---- Manual Page -- http://www.php.net/manual/en/language.types.string.php Edit -- https://master.php.net/note/edit/78507 Del: integrated -- https://master.php.net/note/delete/78507/integrated Del: useless -- https://master.php.net/note/delete/78507/useless Del: bad code -- https://master.php.net/note/delete/78507/bad+code Del: spam -- https://master.php.net/note/delete/78507/spam Del: non-english -- https://master.php.net/note/delete/78507/non-english Del: in docs -- https://master.php.net/note/delete/78507/in+docs Del: other reasons-- https://master.php.net/note/delete/78507 Reject -- https://master.php.net/note/reject/78507 Search -- https://master.php.net/manage/user-notes.php