divUnsigned

private open fun divUnsigned(Right: BCDInteger): BCDInteger

predicate: Num_Digits > v.numDigits, v = v.Normalize(), v.numDigits > 1

Return

abs(x) ÷ abs(y)

Parameters

Right

right value


private open fun divUnsigned(y: Int): BCDInteger

predicate: Num_Digits > v.numDigits, v = v.Normalize(), v.numDigits > 1

Return

abs(x) ÷ abs(y)

Parameters

y

right value