code: public void getNumberChars(CharArr output) throws IOException {
      int ev=0;
      if (valstate==0) ev=nextEvent();
      if (valstate == LONG || valstate == NUMBER) output.write(this.out);
      else if (valstate==BIGNUMBER) {
        continueNumber(output);
      } else {
        throw err("Unexpected " + ev);
      }
      valstate=0;
    }
docs: Reads a JSON numeric value into the output.