<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def rx_int_extra(rxmatch):
 """ We didn't just match an int but the int is what we need. """


    rxmatch = re.search("\d+", rxmatch.group(0))
    return int(rxmatch.group(0))