what is the british name when the double dotted value is 7/32?
CREATE TABLE "variations" (
  "american_name" text,
  "british_name" text,
  "value" text,
  "dotted_value" text,
  "double_dotted_value" text,
  "triple_dotted_value" text
);
SELECT "british_name" FROM "variations" WHERE "double_dotted_value"='7/32';