from decimal import Decimal
import sys
input = sys.stdin.readline
A, B = map(int, input().split())
ans = Decimal(A)/Decimal(B)
print(ans)