We didn't just match an int but the int is what we need.

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))