This should be `Number[]`.