python integer divide bug