use python 3 division everywhere