#include <stdio.h>
int main() {
  int t, v;
  scanf("0.%d %d", &v, &t);

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