function main(input){
  var inputArr=input.split(' ');
  var T=parseFloat(inputArr[0]);
  var X=parseFloat(inputArr[1]);
  console.log(T/X);
}

main(require('fs').readFileSync('/dev/stdin', 'UTF-8'));
