a = list(map(int, input().split('/')))
print('{0:.3}'.format(a[0]/a[1]))