utils /python/number_extractor.py Extract number at float from a file containing multiple lines of strings