[15] python3-style division