from decimal import Decimal, getcontext, ROUND_DOWN
getcontext().prec = 100
getcontext().rounding = ROUND_DOWN
a,b = map(Decimal,input().split())
ans = Decimal(a/b)
print("{:.50f}".format(ans))