I guess you could make it a vector space through a bijection with the rational numbers, but something tells me C++ programmers don't have that in mind when writ

I guess you could make it a vector space through a bijection with the rational numbers, but something tells me C++ programmers don't have that in mind when writing std::vector<unsigned>. And it doesn't solve the problem that C++ “vectors” are resizable.