Fix the division operator overload in Python 3 generated bindings.