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

    **中文文档**

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

    **中文文档**

    摘除文本内的整数。