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.)
