def ExtractFloat(regex, text, group=1):
  return float(ExtractGroup(regex, text, group=group))
Extracts a float from a regular expression matched to 'text'.
dataset/ETHPy150Open GoogleCloudPlatform/PerfKitBenchmarker/perfkitbenchmarker/regex_util.py/ExtractFloat