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