This won't translate, you can't mix `ints` and `None` in RPython, so you need to take `w_count` check for `None` and do the coercion yourself.