src/Chippyash/Type/Number/GMPIntType.php
protected function gmpTypeCheck($value)
    {
        if (version_compare(PHP_VERSION, '5.6.0') < 0) {
            return is_resource($value) && get_resource_type($value) == 'GMP integer';
        }

        return ($value instanceof \GMP);
    }
protected function gmpTypeCheck($value)
    {
        if (version_compare(PHP_VERSION, '5.6.0') < 0) {
            return is_resource($value) && get_resource_type($value) == 'GMP integer';
        }

        return ($value instanceof \GMP);
    }
protected function gmpTypeCheck ( $ value ) { if ( version_compare ( PHP_VERSION , '5.6.0' ) < 0 ) { return is_resource ( $ value ) && get_resource_type ( $ value ) == 'GMP integer' ; } return ( $ value instanceof \ GMP ) ; }
Check gmp type depending on PHP version

@param mixed $value value to check type of
@return boolean true if gmp number else false
Check gmp type depending on PHP version