from decimal import Decimal, getcontext, ROUND_DOWN
getcontext().prec = 100
getcontext().rounding = ROUND_DOWN
A, B = map(Decimal, input().split())
print('{:.50f}'.format(A/B))