Buying a Computer Processor: 64 bit vs. 32 bit