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