i64 ^ 0.5 >= i64
