@$pb.TagNumber(1) $4.Vector get positive => $_getN(0);
@$pb.TagNumber(1) set positive($4.Vector v) { $_setField(1, v); }