ext/gmp: allow real number to create gmp int.#18254

devnexen wants to merge 1 commit intophp:masterphp/php-src:masterfrom

devnexen:gmp_zval_to_gmp_int_flexiblitydevnexen/php-src:gmp_zval_to_gmp_int_flexiblityCopy head branch name to clipboard