Maybe I'm just pretty tired, but I don't see an obvious way to parse out the numbers from a string like this:
some text here, and then 725.010, 725.045, 725.340 and 725.370; and more text
One thing that occurred to me: split this by spaces into an array. Then apply a regex test with a group to each element in the array.
Is there a cleaner, simpler way to do this?