#include<stdio.h>

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