min(i) <= i64
