i <= min(i64)
