note 127023 added to function.gmp-init

Missing from the documentation: gmp_init() return false in case it failed to parse $num <?php var_dump(gmp_init("")); // returns "bool(false)" and not a GMP object as hinted by the documentation, it also triggers a Warning "PHP Warning: gmp_init(): Unable to convert variable to GMP - string is not an integer in php shell code on line 1" ?> ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.135 (proxied: 184.146.151.115) ---- Manual Page -- https://php.net/manual/en/function.gmp-init.php Edit -- https://main.php.net/note/edit/127023 Del: integrated -- https://main.php.net/note/delete/127023/integrated Del: useless -- https://main.php.net/note/delete/127023/useless Del: bad code -- https://main.php.net/note/delete/127023/bad+code Del: spam -- https://main.php.net/note/delete/127023/spam Del: non-english -- https://main.php.net/note/delete/127023/non-english Del: in docs -- https://main.php.net/note/delete/127023/in+docs Del: other reasons-- https://main.php.net/note/delete/127023 Reject -- https://main.php.net/note/reject/127023 Search -- https://main.php.net/manage/user-notes.php