Reintroduce Vector.__div__ so as not to break Python2