I must have missed the transition from supporting `__division__` and how it behaves I would expect it to give a Float. In any case, I changed to use a top down approach. (And method='groebner' now works, too, and I test it.)