#include<bits/stdc++.h>
using namespace std;

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