Clarify `int()` parameter `base`

[brandjon]

In particular, specify that base must not be passed when the value to convert is not a string.