/**
 * 
 * @param {string} input 
 */
function main(input) {
  const inputList = input.split(" ");
  const t = Number(inputList[0]);
  const x = Number(inputList[1]);
  console.log(t/x);
}


main(require('fs').readFileSync('/dev/stdin', 'utf8'));
