docs: def float_filter(text):
      """Extract float from text.
  
      **中文文档**
  
      摘除文本内的小数。
      """
      res = list()
      for char in text:
          if (char.isdigit() or (char == ".")):
              res.append(char)
      return float("".join(res))