added 'fancy multiplication' which interprets integers as polynomials in GF_2[x]