If RationalExpr evaluates to a rational number or integer,
evaluate to the top/left value. Evaluates to itself if
RationalExpr evaluates to an integer. See also
The following is true for any rational
X =:= numerator(X)/denominator(X).
Tags are associated to your profile if you are logged in