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