Decimal division with user-specified precision.
decimal-divide($arg1 as xs:decimal?, $arg2 as xs:decimal?, $precision as xs:integer) ➔ xs:decimal?
The function returns an empty sequence if either operand is an empty sequence.