Assertion: rational number's denominator | /r/HasProperty | small
Facets:
Source sentences:
text: small_rational_between(const rational& p, const rational& q) returns a rational number between p and q whose denominator is as small as possible.
text: rational small_rational_near(const rational& p, rational eps) returns a rational number between p - eps and p + eps whose denominator is as small as possible.