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