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