pub const float_flag_input_denormal: c_uint = 64;