module Rouge::Lexers::Idris::Num