module Rouge::Lexers::Lean::Num