i32 < f64 ? f32 : half
