#include <stdio.h>
int main(void){
    int v;
    int t;
    int d;

    scanf("0.%d %d",&v,&t);

    d = v * t;
    //  check ng
    printf("%d\n",d/10000);
    //printf("%d\n",(int)d);
    return 0;
}