code: private double getDouble() throws IOException {
          st.nextToken();
          if (st.ttype == StreamTokenizer.TT_WORD)
              return Double.parseDouble(st.sval);
          else if (st.ttype == StreamTokenizer.TT_EOF)
              throw new EOFException("End-of-File encountered during parsing");
          else
              throw new IOException("Unknown token found during parsing");
      }
docs: Reads a double