function Main(input) {
    const s = input.replace("\n", "");
    const arr = s.split("/");
    const ans = arr[0] / arr[1];
    console.log(ans.toFixed(5));
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));