Adapt to use the new integer type and to pass stricter overflow checks
#2455
| Job | Run time |
|---|---|
| 14s | |
| 11s | |
| 15s | |
| 40s |
integer type and to pass stricter overflow checks
#2455
| Job | Run time |
|---|---|
| 14s | |
| 11s | |
| 15s | |
| 40s |