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