[Python-ideas] int('0x3241fca1')