Differences between a 32-bit and 64-bit system