half(f64 / f64)
