@$pb.TagNumber(71) $core.double get defaultFloat => $_getN(61);
@$pb.TagNumber(71) set defaultFloat($core.double v) { $_setFloat(61, v); }