Constant float_muladd_halve_result 

pub const float_muladd_halve_result: c_uint = 8;