1. The average number of courses taken per student, over the students who take at least one course. Round it to 2 decimal places.
2. How many students take more than one course?
3. The largest total of student credits (tot_cred) in one department. One number.
4. The departments whose instructors' average salary is above 75000: dept_name, then the average salary rounded to 2 decimal places.