Tried something like `"0\\.(\\d+)|(\\d+)\\.\\d+"`, and although it works, the matched group is 1 or 2, depending on which part of the regexp matches, so we can't always return group 1. An alternative would be to use two patterns and don't use the OR inside the regexp, but in that case I think the current implementation would be better. Thoughts?