doc fix: `int` is no longer called `int_`
[ci skip]