Hilfe & Dokumentation
Use the XPath function div to divide two numeric values.
a div b
'6' div '3,5'
= 1,7142857142.