function main(input) {
    const args = input.split(' ');
    const T = parseInt(args[0], 10);
    const X = parseInt(args[1], 10);
  
  console.log(T/X)
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));