1 ^ i64 <= i
