numer takes as argument a rational fraction and returns the numerator of the irreducible representation of this fraction (see also 5.8.3). Input:
^
Output:
Input: