i64 < min(i)
