You can just use `a.mul_ground(1/h_denom)`, which keeps it as a Poly.