var stdin = require("fs").readFileSync("/dev/stdin", "utf8");
stdin = stdin.trim().split("\n").reverse();
function input(){return stdin.pop()}
var stdout = [];


var tmp = input().split(" ").map(n=>parseInt(n));
var t = tmp[0];
var x = tmp[1];
stdout.push(t / x);


stdout = stdout.join(" ");
console.log(stdout);