Even is this case, would it not be better to cast via `int()` and deal with the failure as appropriate?