Assertion: expression's result | /r/HasProperty | negative
Facets:
Source sentences:
text: When the result is negative, the result is rounded down to the next smallest (greater negative) integer:
text: When the result of floor division ( // ) is positive, it is as though the fractional portion is truncated off, leaving only the integer portion.