printf("%.16f\n",100 * 5.1);

##</code><code>##

509.9999999999999400