r=input().split() b=int(r[0]) a=int(r[1]) d="{:.2f}".format(b/a) print(d)