Assertion: decimal's number | /r/HasAspect | digit
Facets:
value: after the decimal mark
type: OTHER
value: exactly
type: DEGREE
Source sentences:
text: For a real number x and an integer n ≥ 0, let [x] n denote the (finite) decimal expansion of the greatest number that is not greater than x, which has exactly n digits after the decimal mark.