half(f64) ** f64
