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