@$pb.TagNumber(252) $core.double get defaultDouble => $_getN(111);
@$pb.TagNumber(252) set defaultDouble($core.double v) { $_setDouble(111, v); }