// // Numbers // DIGIT: "0".."9" INT: DIGIT+ DECIMAL: INT ("." INT)? // float = /-?\d+(\.\d+)?([eE][+-]?\d+)?/ FLOAT: "-"? DECIMAL (("e"|"E")("+"|"-")? INT)? // // Strings // ESCAPED_STRING: /".*?(?