Constant float_flag_divbyzero 

pub const float_flag_divbyzero: c_uint = 4;