@$pb.TagNumber(11) $core.double get maximum => $_getN(7);
@$pb.TagNumber(11) set maximum($core.double v) { $_setDouble(7, v); }