lack of integer division in python3