Constant float_flag_underflow 

pub const float_flag_underflow: c_uint = 16;