NUMERATOR

dividend of a ratio in lowest terms
Major Section:  PROGRAMMING

Completion Axiom:

(equal (numerator x)
       (if (rationalp x)
           (numerator x)
         0))

Guard for (numerator x):

(rationalp x)