code: public double num(XPathContext xctxt)
            throws javax.xml.transform.TransformerException
    {
  
      return m_right.num(xctxt);
    }
docs: Evaluate this operation directly to a double.
  
  @param xctxt The runtime execution context.
  
  @return The result of the operation as a double.
  
  @throws javax.xml.transform.TransformerException