Extract integer from text.

    **中文文档**

    摘除文本内的整数。

def int_filter(text):
    """Extract integer from text.

    **中文文档**

    摘除文本内的整数。
    """
    res = list()
    for char in text:
        if char.isdigit():
            res.append(char)
    return int("".join(res))