CREATE TABLE table_39440 ("School Name" TEXT, "City" TEXT, "Students" FLOAT, "FTE Teachers" FLOAT, "Pupil/Teacher Ratio" FLOAT)

What is the average number of students for schools with a pupil to teacher ratio of 25.1?
SELECT AVG("Students") FROM table_39440 WHERE "Pupil/Teacher Ratio" = '25.1'
SELECT AVG("Students") FROM "table_39440" WHERE "Pupil/Teacher Ratio" = '25.1'