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