import math

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

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

result = math.floor(first/second)

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