note 114736 added to language.types.string

$my_int = "12,140"; echo 1 + $my_int ; Returns 13 not the expected 12141 ---- Server IP: 72.52.91.14 Probable Submitter: 66.45.154.59 ---- Manual Page -- http://php.net/manual/en/language.types.string.php Edit -- https://master.php.net/note/edit/114736 Del: integrated -- https://master.php.net/note/delete/114736/integrated Del: useless -- https://master.php.net/note/delete/114736/useless Del: bad code -- https://master.php.net/note/delete/114736/bad+code Del: spam -- https://master.php.net/note/delete/114736/spam Del: non-english -- https://master.php.net/note/delete/114736/non-english Del: in docs -- https://master.php.net/note/delete/114736/in+docs Del: other reasons-- https://master.php.net/note/delete/114736 Reject -- https://master.php.net/note/reject/114736 Search -- https://master.php.net/manage/user-notes.php