Use new-style division for Python 3 compatibility.