half(f64) / f64
