We all know about rational numbers. Informally, these are ratios of integers, i.e., numbers of the form where and are integers (with of course). Any two rational numbers have a sum a product and there is an order relation such that or These operations and the relation obey certain