polynomial: allow conversion of polynomials of different orders.
polynomial: implement full-precision multiplication.