from decimal import Decimal
n,m = map(Decimal,input().split())
print(n / m)