This line should read:
if eval('-9223372036854775807-1 != 01000000000000000000000'):
Sorry,
--Guido van Rossum, CWI, Amsterdam <Guido.van.Rossum@cwi.nl> URL: <http://www.cwi.nl/cwi/people/Guido.van.Rossum.html>