True, and VirtualBox itself will be 64 bit if your host OS is 64 bit, but I don't think it matters that much for the guest OS when it is a disposable VM that is meant to be destroyed. The main advantage of using 32 bit guest OSes is they work out of the box in VirtualBox and they consume much less RAM.