Assertion: restoring division | /r/CapableOf | use the digit
Facets:
value: for the quotient digits
type: TRANSITIVE-OBJECT
Source sentences:
text: Non-restoring division uses the digit set {−1, 1} for the quotient digits instead of {0, 1}.