letter,word=input().split() while letter: letter=letter.lower() word=word.lower() res=word.count(letter)/len(word) print('{:.5f}'.format(res)) letter, word = input().split()