max(i) >= i64
