Is this really the standard way of converting a list to a list of ints?

I would expect that there is a better option here.