py3k: use explicit floor division (//)