I see. I'm not very good at Python and I'm afraid I'll introduce another bug. My suggested fix is to change get_integer() to return a string version of the integer, with leading zeros removed, and then we can compare them string-wise if they're the same length, and otherwise count the shorter one as the smaller one.
Alex _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
