Assertion: decimal's place | /r/HasProperty | obtained
Facets:
value: by defining [x] n
type: MANNER
Source sentences:
text: Each decimal fraction has exactly two infinite decimal expansions, one containing only 0s after some place, which is obtained by the above definition of [x] n , and the other containing only 9s after some place, which is obtained by defining [x] n as the greatest number that is less than x, having exactly n digits after the decimal mark.