You're right. I did not notice that previously, but there is a choice of 32/64 bit just upon bootup after installation.

Thanks,
Ole Thomsen