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).