Below is the list of tables from the database along with their columns and datatype. Need to generate an accurate SQL query for the question.
Only use the columns present in the respective table. Only use the columns which are required to generate the SQL query. Only use table joins if required and not otherwise.

### Tables ###
TABLE: CREATE TABLE department ( dept_name VARCHAR, budget VARCHAR )
TABLE: CREATE TABLE instructor ( salary INTEGER, dept_name VARCHAR )

### Question ###
Find the number and averaged salary of all instructors who are in the department with the highest budget.

### Accurate SQL ###

SELECT AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC LIMIT 1