Adapt to use the new integer type and to pass stricter overflow checks
#2452
| Job | Run time |
|---|---|
| 10s | |
| 14s | |
| 13s | |
| 37s |
integer type and to pass stricter overflow checks
#2452
| Job | Run time |
|---|---|
| 10s | |
| 14s | |
| 13s | |
| 37s |