module Rouge::Lexers::Coq::Num