module Rouge::Lexers::Dafny::Num