How many picks for round 12?
CREATE TABLE "nfl_draft" (
  "round" real,
  "pick_num" real,
  "player" text,
  "position" text,
  "college" text
);
SELECT COUNT("pick_num") FROM "nfl_draft" WHERE "round"=12;