div

Divides the first operand by the second operand and returns their quotient. Division by zero sets a flag and returns infinity. The result may be rounded and context flags may be set. Implements the 'divide' function in the specification. (p. 27-29)

  1. D div(D x, D y, Context context)
  2. D div(D x, U n, Context context)
  3. D div(D x, U z, Context context)
    D
    div
    (
    D
    U
    )
    (
    in D x
    ,
    in U z
    ,
    Context context = D.context
    )

Meta