CREATE TABLE table_22858 ("Model" TEXT, "Year" TEXT, "Code name" TEXT, "Fab  (  nm  ) " FLOAT, "Bus interface" TEXT, "Transistor count  ( Millions ) " FLOAT, "Memory max  (  MiB  ) " TEXT, "Core  (  MHz  ) " FLOAT, "Memory  (  MHz  ) " TEXT, "Type" TEXT, "Bus Width  (  Bit  ) " FLOAT, "DirectX" TEXT, "Shader Model" TEXT, "OpenGL" TEXT, "Maximum Resolution" TEXT, "IceQ4 Cooling System" TEXT, "Notes" TEXT)

What's the directx of the model with code name RV770 PRO and a core bigger than 650.0 MHz?
SELECT "DirectX" FROM table_22858 WHERE "Code name" = 'RV770 PRO' AND "Core ( MHz )" > '650.0'
SELECT "DirectX" FROM "table_22858" WHERE "Code name" = 'RV770 PRO' AND "Core ( MHz )" > '650.0'