T7600 M90 [Dell] Notebooks

Looking at picking up a M90 w/ a T7600 2.33 2 dual core. I've not been able to figure out if this combo supports 64 bit or not. I plan on using it for 3D design work [solidworks] and want to be able to run at 64bit to better utilize the higher RAM abilities. I'm at the limit of what I can do w/ 32.

Thanks

Jerry