Sì, come pensavo, 17 in realtà vale 17.00000000000000710543 (considerando 20 decimai)