The length, $L$, of the standard $82^{\circ}$ included angle drill can be calculated using the formula $L=0.575 \not$, where $\varnothing$ represents the diameter of the drill. Determine the length of a drill point with a diameter of $12.5 \mathrm{~mm}$. Round your answer to 1 decimal place.