CREATE TABLE table_17319931_1 (car_no VARCHAR, time_retired VARCHAR)

How many car numbers were recorded when the time/retired is +4.0019?
SELECT COUNT(car_no) FROM table_17319931_1 WHERE time_retired = "+4.0019"
SELECT COUNT("car_no") FROM "table_17319931_1" WHERE "+4.0019" = "time_retired"