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