f64 ^ 0.5 >= i32 / i64
