#### 22.1.12.13 Instruction divi

Synopsys:

Push the result of the integer division of the two integers at the
top of the stack. If the denominator is zero, raise
PVM_E_DIV_BY_ZERO.

Note that this instruction does NOT check for signed overflow, and
in case it occurs, the result contents are UB.

Likewise, this instruction does NOT check for division by zero, so
if it is attempted, the poke process will be aborted.

Stack: `( INT INT -- INT INT INT )`

Exceptions: `PVM_E_DIV_BY_ZERO`