Assertion: decimal point's value | /r/HasProperty | based on the form of numbers
Facets:
Source sentences:
text: Thus, it is intended that the routines that input and output numbers should create unnormalized values based on the form of numbers read in, and should print numbers with trailing zeroes omitted to the extent indicated by the degree of unnormalization to be printed.