Both VMware and VirtualBox can run a 64-bit virtual machine on a 32-bit host system, if you have a 64-bit processor. For VirtualBox, your processor must have hardware virtualization support (either AMD-V or VT-x, shown as svm and vmx in the flags: line of /proc/cpuinfo under Linux); most x86-64 processors except for the earlier ones, and in particular I think all core i5 models, have this support.