n, k = map(int, input().split())
print("{0:.10f}".format(n / 2))