I have a string such as "3.1 ml"
or "abc 3.1 xywazw"
I'd like to extract "3.1"
from this string. I have found many questions on stackoverflow about the extraction of numbers from a character string, but no solution works for the case of decimal numbers.