Re: [Edu-sig] modeling the rational numbers