>>587
printf("%g\n",x/y);