import decimal

A,B=map(int,input().split())

print('{:.50f}'.format(round(A/B,50)))