Script Integer Division
The Bitcoin Script OP_DIV and OP_MOD operations are performed on script numbers, which are signed integers. However, there are multiple valid approaches to signed integer division, particularly with respect to how negative values are handled, so this must be disambiguated.
The above operations follow C-style integer division semantics.
For a given
remainder, the following relation be true:
numerator = quotient * denominator + remainder.
This allows for both negative quotients and remainders.
The following examples may provide clarity:
OP_DIV 5 2 -> 2 OP_MOD 5 2 -> 1 OP_DIV -5 2 -> -2 OP_MOD -5 2 -> -1 OP_DIV 5 -2 -> -2 OP_MOD 5 -2 -> 1 OP DIV -5 -2 -> 2 OP_MOD -5 -2 -> -1