numextract (pypi): Extracts numbers into a list from a text file.
Keywords: python