note 124633 added to function.gmp-strval

casting to string seems to do the same (for base10) and it's much faster (string) $num instead of gmp_strval($num) ---- Server IP: 45.112.84.4 Probable Submitter: 185.85.3.195 (proxied: 2a01:6500:a048:a633:b36a:7259:3d1a:ea4b) ---- Manual Page -- http://php.net/manual/en/function.gmp-strval.php Edit -- https://master.php.net/note/edit/124633 Del: integrated -- https://master.php.net/note/delete/124633/integrated Del: useless -- https://master.php.net/note/delete/124633/useless Del: bad code -- https://master.php.net/note/delete/124633/bad+code Del: spam -- https://master.php.net/note/delete/124633/spam Del: non-english -- https://master.php.net/note/delete/124633/non-english Del: in docs -- https://master.php.net/note/delete/124633/in+docs Del: other reasons-- https://master.php.net/note/delete/124633 Reject -- https://master.php.net/note/reject/124633 Search -- https://master.php.net/manage/user-notes.php