What is the value of $P$ :

double P $=($int$)17\mathrm{.}5/($double$)2$;

$8\mathrm{.}5$

None of the other answers

$9\mathrm{.}0$

$8\mathrm{.}75$

$8\mathrm{.}0$