Availability:Arithmetic function (see is/2)
numerator(+RationalExpr)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
denominator/1.
The following is true for any rational
X.
X =:= numerator(X)/denominator(X).