python: how to act on re's matched string,"re.sub('(\\d+)', lambda m: '%.0f' % (float(m.group(1)) * 2), 'test line 123')"