Table schema:
CREATE TABLE table_name_40 (player VARCHAR, econ VARCHAR)

Question: Tell me the player with econ of 4.23
SQL: SELECT player FROM table_name_40 WHERE econ = "4.23"