code: public double num()
      throws javax.xml.transform.TransformerException
    {
  
      XMLString s = xstr();
  
      return s.toDouble();
    }
docs: Cast result object to a number.
  
  @return The result tree fragment as a number or NaN