Constant float_flag_overflow 

pub const float_flag_overflow: c_uint = 8;