This should be `Number[]`