min(i64) != i64
