python: Use explicit integer divisions