6.1.1.7: Convert between equivalent representations of positive rational numbers.