docs: int is platform width, not always 32-bit
#4214
| Job | Run time |
|---|---|
| 0s | |
| 0s |
int is platform width, not always 32-bit
#4214
| Job | Run time |
|---|---|
| 0s | |
| 0s |