Support for exact division operation

The key idea is to verify that the result of division is not rounded.
The condition to check is: Quotient(Result) * Divisor(Opd2) = Dividend(Opd1)
and the Divisoris always non zero.