Added specialised divexact for polys over QQ.