How to encode the elements of these types?

We will discuss here the case of numbers and polynomials. In this whole section we assume that we are using a machine with N mathend000#-bit words. (Typically N = 32 mathend000# or N = 64 mathend000#.)