extract numbers from strings, closes #1