441     static const int_type neg_inf = nan + 1;  member in User2::saturate
442     static const int_type pos_inf = -neg_inf;
520         case neg_inf:  in operator <<()
533     case neg_inf:  in operator int_type()
549         case neg_inf:  in operator +=()
556     case neg_inf:  in operator +=()
568     case neg_inf:  in operator +=()
581     if (i_ > neg_inf - x.i_)  in operator +=()
584         i_ = neg_inf;  in operator +=()
598         case neg_inf:  in operator *=()
612             i_ = neg_inf;  in operator *=()
616     case neg_inf:  in operator *=()
638             i_ = neg_inf;  in operator *=()
642     case neg_inf:  in operator *=()
646             i_ = neg_inf;  in operator *=()
667     case neg_inf:  in operator /=()
671         case neg_inf:  in operator /=()
687         case neg_inf:  in operator /=()
697             i_ = neg_inf;  in operator /=()
706     case neg_inf:  in operator /=()
723     case neg_inf:  in operator %=()
731     case neg_inf:  in operator %=()