from decimal import Decimal, ROUND_HALF_UP
a, b = input().split()
a = float(a)
b = float(b)

print(Decimal(a / b))