Assertion: register's number | /r/HasProperty | old 16-bit as numbers
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Numbers of the form 0.y are exactly the old 16-bit AS numbers.