half(f64) ** (i32 * 0.5)
