Constant _GLIBCXX_HAVE_MODFF 

pub const _GLIBCXX_HAVE_MODFF: u32 = 1;