Logged In: YES 
user_id=31435

Nick, that helps (thanks!), but I still don't understand the 
connection between your examples and the patch.  The 
patch is indeed to _Py_HashDouble(), but that shouldn't get 
executed when doing, e.g.,

print int(9223372036854775200.0)

Is there a relationship between the examples and the patch, 
or do the examples belong to some other bug report?

Or is another assumption here that you're typing those 
examples in to an interactive Python shell?  *Then* 
_Py_HashDouble() would get called, as part of compilation.