[python] towards python3 compat: division, map