@$pb.TagNumber(18) $core.double get negInfFloat => $_getN(17);
@$pb.TagNumber(18) set negInfFloat($core.double value) => $_setFloat(17, value);