I can reproduce that, python 2.6.5/x86_64. Maybe you're using a 32-bit platform, in which case x87 double rounding might result in slightly different last digits for you?