File:MathFoundations95 The deep structure of the rational numbers