Assertion: real number's value | /r/HasProperty | given by the product of the magnitude
Facets:
Source sentences:
text: Using the standard encoding, any real value is given by the product of the magnitude and the sign in standard encoding.