@$pb.TagNumber(15) $core.double get negInfDouble => $_getN(14);
@$pb.TagNumber(15) set negInfDouble($core.double v) { $_setDouble(14, v); }