function Main(input) {
    var strs = input.split(" ");
    var T = Number(strs[0]);
    var X = Number(strs[1]);
    console.log((T/X).toPrecision(10));
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));