Adapt to use the new integer type and to pass stricter overflow checks
#2456
| Job | Run time |
|---|---|
| 12s | |
| 11s | |
| 9s | |
| 32s |
integer type and to pass stricter overflow checks
#2456
| Job | Run time |
|---|---|
| 12s | |
| 11s | |
| 9s | |
| 32s |