Source position: xpath.inc line 427
function xmlXPathCastNodeSetToNumber(
val: xmlNodeSetPtr
):cdouble;