#include <bits/stdc++.h>

#define rep(i,n) for(int i=0;i<(n);i++)

using namespace std;

int main(){
	int v,t; scanf("0.%d%d",&v,&t);
	printf("%d\n",v*t/10000);
	return 0;
}