Prefer i32 over int

We should avoid giving a wrong impression that `int` is the "default" type
we use for pretty much everything.