"use strict";
process.stdin.resume();
process.stdin.setEncoding("utf8");

let lines = [];
var reader = require("readline").createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on("line", line => {
  lines = line.split(/\s/).map(i => parseFloat(i));
});

reader.on("close", () => {
  let t = lines[0],
    x = lines[1];

  console.log((t / x).toFixed(6));
});
