Class ASTIntegerRange