php_all_sys::php73

Constant IS_DOUBLE

Source 
pub const IS_DOUBLE: u32 = 5;