W takim przypadku nawet inval() zwróci to co chcesz..
Pytanie tylko co ma zostać zwrcone, jeśli dane wejściowe będą następujące:
"abc123def4567ghi"
albo np.
"abc 123 45 67.8.9def"

Wyrażenie regularne w pierwszym przykładzie powinno teoretycznie zwrócić
"123", choć nie zawsze, bo przy większej zachłanności już "4567"..
W drugim przykładzie wyciągnięte zostanie "123".
Nie wiemy czy o taki wynik Tobie chodzi..
Najlepiej gdybyś dokładnie opisał do czego jest Ci to potrzbne.