Category:Theory of rational numbers