const [a, b] = require("fs").readFileSync("/dev/stdin", "utf8").split(" ");
const [result, _] = ((parseInt(a, 10) * parseInt(b.split(".").join(""), 10)) / 100).toFixed(2).split(".");
console.log(result);
