#include<bits/stdc++.h>
using namespace std;
using Int = signed;
//INSERT ABOVE HERE
signed main(){
  Int v,t;
  scanf("0.%d %d",&v,&t);
  cout<<(v*t)/10000<<endl;
  return 0;
}