Adds vector size_type and static_cast