code: private int skipDouble(int index) {
          while(index<msg.length()) {
              char c=msg.charAt(index);
              // U+221E: Allow the infinity symbol, for ChoiceFormat patterns.
              if((c<'0' && "+-.".indexOf(c)<0) || (c>'9' && c!='e' && c!='E' && c!=0x221e)) {
                  break;
              }
              ++index;
          }
          return index;
      }
docs: Skips a sequence of characters that could occur in a double value.
  Does not fully parse or validate the value.