I get the opposite impression: amd64 is something I see quite often, while ia32 is pretty much exclusively referred to as x86. (Even though for the average user

I get the opposite impression: amd64 is something I see quite often, while ia32 is pretty much exclusively referred to as x86. (Even though for the average user, ia32 would be much easier to recognize as "32-bit", and amd64 as "64-bit", both of which are often found on download buttons.)