Fix a few python3 divisions