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

print(Decimal(a) / Decimal(b))