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