title: Convert string to numbers in Lua
body: <p>In Lua, I have a string like this: <code>231 523 402 1223 9043 -1 4</code> which contains several numbers separated by space. Now I would like to convert it into a vector of int numbers, how to achieve it with some built-in functions?</p>