PolyNumber. Representing numbers as the roots of polynomials with integer coefficients. More interesting than efficient or useful, especially considering the inability to represent sqrt(2) without also having -sqrt(2).