如图，矩形 $\mathit{ABCD}$ 中， $\mathit{AB}=5$ ， $\mathit{BC}=4$ ，点 $E$ 是 $\mathit{AB}$ 边上一点， $\mathit{AE}=3$ ，连接 $\mathit{DE}$ ，点 $F$ 是 $\mathit{BC}$ 延长线上一点，连接 $\mathit{AF}$ ，且 $\angle F=\frac{1}{2}\angle \mathit{EDC}$ ，则 $\mathit{CF}=$ 　　．