from decimal import *

A, B = map(int, input().split())
getcontext().prec = 100
getcontext().rounding=ROUND_DOWN
a = Decimal(A)
b = Decimal(B)
c = a / b
print("{0:.50f}".format(c))