function Main(input){ 
  var inputs = input.split(" ");
  var T = parseInt(inputs[0],10);
  var X = parseInt(inputs[1],10);
  console.log((T/X).toFixed(7)); 
  
}
    Main(require('fs').readFileSync('/dev/stdin','utf8'));