#include <stdio.h>
#include <math.h>
int main()
{
	int s,t;
	scanf("0.%d%d",&s,&t);
	printf("%d",s*t/10000);
}