from decimal import Decimal, getcontext, ROUND_HALF_UP

s = input().strip()
a, b = s.split('/')
a = int(a)
b = int(b)

getcontext().prec = 20
getcontext().rounding = ROUND_HALF_UP

result = Decimal(a) / Decimal(b)
rounded = result.quantize(Decimal('0.00000'))

print("{0:.5f}".format(rounded))