Assertion: euclidean division | /r/CapableOf | define truncation
Facets:
Source sentences:
text: This is used for approximating real numbers: Euclidean division defines truncation, and centered division defines rounding.