@$pb.TagNumber(5) $fixnum.Int64 get negativeIntValue => $_getI64(3);
@$pb.TagNumber(5) set negativeIntValue($fixnum.Int64 value) => $_setInt64(3, value);