half(f64 * f32)
