Assertion: real number's part | /r/HasProperty | the excess
Facets:
value: beyond that number's integer part
type: OTHER
Source sentences:
text: The fractional part or decimal part of a non‐negative real number x {\displaystyle x} is the excess beyond that number's integer part.