#### 23.1.12.17 Instruction modi

Synopsys:

Push the result of the modulus 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`