$frac : ℚ → ℤ × ℕ
(0, 1)
(1, 1)
(5, 1)
(-6, 1)
(2, 3)
(2, 3)
(7, 3)
(-1, 8)
(1, 3)
