@$pb.TagNumber(7) $core.double get max => $_getN(4);
@$pb.TagNumber(7) set max($core.double value) => $_setDouble(4, value);