main(m,n){scanf("%d%d",&m,&n);printf("%.1lf\n",m/2.0);}