sparing the extra copy from std::vector<int> to IntegerVector closes #54