i64 >= max(i64)
