Assertion: real number's value | /r/HasProperty | the first
Facets:
Source sentences:
text: In this method, multiplying one number by a second is performed by a sequence of steps in which a value (initially the first of the two numbers) is either doubled or has the first number added back into it; the order in which these steps are to be performed is given by the binary representation of the second number.