Write a test for the numerator and proper numerators of 5/3

That is, write tests for

`getNumerator()`

and`getProperNumerator()`

The "proper numerator" is the 2 in the 1 and 2/3 form of 5/3. The proper numerator is always positive. (Is zero a boundary condition?)