CREATE TABLE table_name_62 (core__number INT, tdp__w_ INT)

What is the sum of core# with a TDP less than 85.3?
SELECT SUM(core__number) FROM table_name_62 WHERE tdp__w_ < 85.3
SELECT SUM("core__number") FROM "table_name_62" WHERE "tdp__w_" < 85.3