half(f64) * f32
