I downloaded VirtualBox to a windows 8.1 machine by selecting the Windows (32-bit/64-bit) installer option at this link on the Oracle web ste. But when I try to create a new Virtual Machine using resulting VirtualBox, all of the Linux options are 32 bit.
How can I get VirtualBox to set up a 64 bit CentOS 7 virtual machine? Do I need to download a different installer? Or is the problem that I am not using this installer correctly?