You guys have way too much time on your hands and neurons devoted tothis stuff. I'm glad that means that I can spend the afternoon playingw/ my kids and searching python-dev when I need to add numbers =).