It seems PrimitiveVector doesn't support converting to Array, and it doesn't implement any custom serialization code to serialize only the elements. Won't this result in wasteful serialization of the whole underlying array?