See __floordiv__.