Assertion: real number's representation | /r/CapableOf | begin with a non-zero digit
Facets:
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.