Denote the IEEE double precision floating point number associated to x$,$ using the Rounding

to Nearest Rule, by fl$($x$).$ Find the largest integer k for which fl $($

$172$

$$k

$)$

$<$ fl$(17)$ in double

precision floating point arithmetic. $($You may need $$machine :$=252)$