py: inversions.py, merge-sort.py use floor division instead of int casts