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.