Constant float_flag_input_denormal 

pub const float_flag_input_denormal: c_uint = 64;