python: how do i convert an array of strings to an array of numbers?,"map(int, ['1', '-1', '1'])"