@$pb.TagNumber(11) $core.double get negativeFloat => $_getN(10);
@$pb.TagNumber(11) set negativeFloat($core.double value) => $_setFloat(10, value);