What is the highest score in those games where the average is 9.88?
CREATE TABLE "batting_averages" (
  "player" text,
  "matches" real,
  "innings" real,
  "runs" real,
  "average" text,
  "highest_score" real,
  "100s" real,
  "50s" real
);
SELECT MIN("highest_score") FROM "batting_averages" WHERE "average"='9.88';