use integer division for python 3 compatibility