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

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'