Is this a typo, or should the extension just be `Poly(1, x)`?