final public void numeric_literal() throws ParseException {
    if (jj_2_47(2147483647)) {
      physical_literal();
    } else {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case based_literal:
      case decimal_literal:
        abstract_literal();
        break;
      default:
        jj_la1[133] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    }
  }