Constant php_all_sys::php73::IS_DOUBLE[−][src]

pub const IS_DOUBLE: u32 = 5;