Returns the arithmetic quotient of its operands: ($arg1 div $arg2).
op:numeric-divide( $arg1 as xs:numeric,$arg2 as xs:numericxs:numericGeneral rules: see .
As a special case, if the types of both $arg1 and $arg2 are
xs:integer, then the return type is xs:decimal.
A dynamic error is raised for xs:decimal
and xs:integer operands, if the divisor is (positive or negative) zero.
For xs:float and xs:double operands, floating point division
is performed as specified in . A positive number divided by
positive zero returns INF. A negative number divided by positive zero
returns -INF. Division by negative zero returns -INF and
INF, respectively. Positive or negative zero divided by positive or
negative zero returns NaN. Also, INF or -INF
divided by INF or -INF returns NaN.