You should also consider a honeywell t-stat with an adjustable cycles per hour setting.
CPH based t-stats are intelligent in the sense that the differential is determined based on the system operating conditions and maximum cycles per hour parameter.
During cooler, humid weather a differential of 3F could mean having the system off for several hours at a time or not run at all. (Result - heat stratification, uneven temps, high humidity)