w,words = input().split() while w: w = w.lower() words = words.lower() res = words.count(w)/len(words) print("{:.5f}".format(res)) w, words = input().split()