Which Video has a Channel of 25.3?
CREATE TABLE "digital_channels" (
  "channel" real,
  "video" text,
  "aspect" text,
  "psip_short_name" text,
  "programming" text
);
SELECT "video" FROM "digital_channels" WHERE "channel"=25.3;