Constant _GLIBCXX_HAVE_FREXPL 

pub const _GLIBCXX_HAVE_FREXPL: u32 = 1;