I liked Paul's brief explanation of Kinds. Maybe we could make it so that there's a special Kind representing bignums, and eventually that could become the default (as part of the int unification). Then everybody can have it their way. --Guido van Rossum (home page: http://www.python.org/~guido/)