feat: make Quot live in Sort (max 1 u) rather than Sort u
#12924
| Job | Run time |
|---|---|
| -1s | |
| -1s |
Quot live in Sort (max 1 u) rather than Sort u
#12924
| Job | Run time |
|---|---|
| -1s | |
| -1s |