anchor.diff:    begin
       if (Left.FSize > 0) then
       begin
  -      if @PlainOp = @InternalAnd then
  +      if Addr(PlainOp) = Addr(InternalAnd) then
           Result.MakeSize(MinSize)
         else
           Result.MakeSize(MaxSize);
  
positive.code:       CopyLimbs(PLimb(Right.FData), RPtr, RSize);
        InternalDecrement(RPtr, RSize);
        Result.FSize := 0;
        if @PlainOp = @InternalOr then
          Result.MakeSize(RSize)
        else
          Result.MakeSize(MaxSize);
        // Inversion op: AND --> AND NOT, OR --> NOT AND, XOR --> XOR
        InversionOp(PLimb(Left.FData), RPtr, PLimb(Result.FData), LSize, RSize);
        if @PlainOp = @InternalAnd then
          Result.FSize := Result.FSize and SizeMask               // Make positive.
        else
        begin
  
negative.code:       CopyLimbs(PLimb(Left.FData), LPtr, LSize);
        InternalDecrement(LPtr, LSize);
        Result.FSize := 0;
        if Addr(PlainOp) = Addr(InternalOr) then
          Result.MakeSize(LSize)
        else
          Result.MakeSize(MaxSize);
        InversionOp(PLimb(Right.FData), LPtr, PLimb(Result.FData), RSize, LSize);
        if Addr(PlainOp) = Addr(InternalAnd) then
          Result.FSize := Result.FSize and SizeMask
        else
        begin
  