| SAXONICA | 
saxon:decimal-divide($arg1 as xs:decimal, $arg2 as decimal, $precision as integer) ==> xs:decimal
This performs a decimal division to a user-specified precision. The value of the first argument
            is divided by the second argument, and the result is returned to the number of decimal places
            indicated by the third argument. The exact result is rounded towards zero. For example,
            decimal-divide(100, 30, 2) returns 0.33. (The default for decimal division in Saxon
            using the div operator is to return max(18, s1, s2) decimal places in the result,
            where s1 is the scale of the first operand and s2 the scale of the second.)