data_n = input()
data_s = data_n.split(" ")

first = int(data_s[0])
second = int(data_s[1])

result = first/second

print("{0:.50f}".format(result))