[Edu-sig] modeling the rational numbers