Assertion: real number's part | /r/HasProperty | decimal separator
Facets:
Source sentences:
text: One requirement is to characterize real numbers that can be written in decimal notation, consisting of an optional sign, a finite sequence of one or more digits forming an integer part, a decimal separator, and a sequence of digits forming a fractional part.