Jack,
Since you are talking Full Retail Box version...
There are 2 discs, 32 & 64. Same key for both is used to install one or the other in 1 machine. 1 @ a time. Ergo, you are fime. Dump the x86, install the x64, instead w/ the key you have.
Cheers,
Drew