std::vector -> IntegerVector