Implement the integers
Construct the rationals as a quotient