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