f64 ^ 0.5 <= i64
