_zend_known_string_id_ZEND_STR_DOUBLE

php_all_sys::php72

Constant _zend_known_string_id_ZEND_STR_DOUBLE 

Source 
pub const _zend_known_string_id_ZEND_STR_DOUBLE: _zend_known_string_id = 40;