Constant _GLIBCXX_HAVE_ISINFF 

pub const _GLIBCXX_HAVE_ISINFF: u32 = 1;