t;main(v){scanf("0.%d%d",&v,&t);t=!printf("%d",t*v/10000);}