Table schema:
CREATE TABLE table_name_25 (students INTEGER, pupil_teacher_ratio VARCHAR)

Question: What is the average number of students for schools with a pupil to teacher ratio of 25.1?
SQL: SELECT AVG(students) FROM table_name_25 WHERE pupil_teacher_ratio = 25.1