Constant __DBL_HAS_INFINITY__ 

pub const __DBL_HAS_INFINITY__: u32 = 1;