using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace book
{
    //6章
    //再帰・分割統治法
    //ALDS1_4_D(Allocation)
    /*class Program
    {
        static void Main()
        {
            long[] input = Console.ReadLine().Split().Select(long.Parse).ToArray();
            long n = input[0];
            long k = input[1];
            List<long> weight = new List<long>();
            for (long i =0; i<n;i++)
            {
                weight.Add(long.Parse(Console.ReadLine()));
            }
        }
        static void solve()
        {
            long left = 0;
            long right = 10000000000;
            long mid = 0;
            while (right - left > 1)
            {
                mid = (right + left) / 2;
                
            }
        }
        static int check(long P,int n)
        {
            int i = 0;
            for (int j =0;j<;j++)
            {

            }
        }
    }*/
    //113C-ID
    /*class Program
    {
        static void Main()
        {
            long[] cin = Console.ReadLine().Split().Select(long.Parse).ToArray();
            long N = cin[0];
            long M = cin[1];
            List<Data> list = new List<Data>();
            for (int i = 0; i< M;i++)
            {
                Data data = new Data();
                var temp = Console.ReadLine().Split().Select(long.Parse).ToArray();
                data.ID = i;
                data.pref = temp[0];
                data.year = temp[1];
                list.Add(data);
            }
            var sortedlist = list.OrderBy(n => n.pref).OrderBy(m => m.year).ToList();
            var ans = rep(sortedlist);
            ans = ans.OrderBy(n => n.ID).ToList();
            foreach (Data m in ans)
            {
                Console.Write("{0:D6}",m.pref);
                Console.WriteLine("{0:D6}", m.year);
            }
        }
        static List<Data> rep(List<Data> sortlist)
        {
            long rank = sortlist.First().pref;
            var a = 1;
            foreach (Data list in sortlist)
            {
                if (list.pref == rank)
                {
                    list.year = a;
                    a++;
                }
                else
                {
                    a = 1;
                    rank++;
                    list.year = a;
                    a++;
                }
            }
            return sortlist;
        }
    }
    class Data
    {
        public long ID { get; set; }
        public long pref { get; set; }
        public long year { get; set; }
    }
    /*4 10
    3 254
    1 316
    2 43
    2 91
    2 3535
    3 2018
    4 112
    1 1
    2 53
    4 5235*/
    //129A-AirPlane
    /*class Program
    {
        static void Main()
        {
            int[] input = Console.ReadLine().Split().Select(int.Parse).ToArray();
            List<int> Answer = new List<int>();
            var a = input[0] + input[1];
            var b = input[1] + input[2];
            var c = input[2] + input[0];
            Answer.Add(a);
            Answer.Add(b);
            Answer.Add(c);
            Console.WriteLine(Answer.Min());
        }
    }*/
    //119C-TBD
    /*class Program
    {
        static void Main()
        {
            string Day = Console.ReadLine();
            string a = Day.Replace("/","");
            string th = "20190430";
            int result = a.CompareTo(th);
            if (result == 1)
            {
                Console.WriteLine("TBD");
            }
            else 
            {
                Console.WriteLine("Heisei");
            }
        }
    }*/
    //117A-EntranceExamination
    class Program
    {
        static void Main()
        {
            double[] a = Console.ReadLine().Split().Select(double.Parse).ToArray();
            double b = a[0];
            double c = a[1];
            Console.WriteLine(b/c);
        }
    }
}


Measured memory_bytes: 13396