private final int load_digits(StringBuilder sb,int c) throws IOException {
  if (!IonTokenConstsX.isDigit(c)) {
    return c;
  }
  sb.append((char)c);
  return readNumeric(sb,Radix.DECIMAL,NumericState.DIGIT);
}

private final int load_digits ( StringBuilder sb , int c ) throws IOException { if ( ! IonTokenConstsX . isDigit ( c ) ) { return c ; } sb . append ( ( char ) c ) ; return readNumeric ( sb , Radix . DECIMAL , NumericState . DIGIT ) ; }
accumulates digits into the buffer , starting with the given character .
