pub const float_muladd_halve_result: c_uint = 8;