Assertion: real number's representation | /r/CapableOf | eliminate the need
Facets:
Source sentences:
text: Such representations eliminate the need for a separate "subtract" operation.