diff -r 0238cc842805 -r e1c70a5a2f83 Tools/gdb/libpython.py
--- a/Tools/gdb/libpython.py	Thu Dec 06 17:49:58 2012 -0500
+++ b/Tools/gdb/libpython.py	Fri Dec 07 12:54:11 2012 -0500
@@ -1275,7 +1275,7 @@
 
 
 def int_from_int(gdbval):
-    return int(str(gdbval))
+    return int(str(gdbval), 0)
 
 
 def stringify(val):