Assertion: rational number | /r/AtLocation | the number system
Facets:
value: to allow
type: PURPOSE
Source sentences:
text: Rational numbers are added to the number system to allow that numbers also be closed under division (with the lone exception of division by 0).