input: def str_to_float(ratings):
      """ Convert ratings in a list of strings to a float.
      >>> str_to_float(['4.5', '3.0', '2.5', '4.0'])
      [4.5, 3.0, 2.5, 4.0]
      """
output:     return [float(rating) for rating in ratings]