i64 ^ 1 <= i
