half(f64 / f32)
