`int` fails back to `__trunc__` is `__int__` isn't defined, so cover that in the docs.
Attach a file by drag & drop or click to upload
