Assertion: real number's representation | /r/CapableOf | give unique representation
Facets:
value: as a finite sequence of digits
type: OTHER
Source sentences:
text: For example, the usual decimal representation of whole numbers gives every nonzero whole number a unique representation as a finite sequence of digits, beginning with a non-zero digit.