Rational Numbers - Lean | SlaveCode