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

int main() {
    int v, t;
    scanf("0.%d%d", v, t);
    cout << v*t/10000 << endl;
    return 0;
}