Constant float_flag_output_denormal 

pub const float_flag_output_denormal: c_uint = 128;