Roman Numerals - Lean | SlaveCode