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