See __idiv__.