import math

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

first = math.floor(data_s[0])
second = math.floor(data_s[1])

result = first/second

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