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