i64 != min(i64)
