You could request a copy of the 64bit restore CD from the manufacturer, if they offer it. And, yes, the retail versions of Windows 7 come with both the 64bit and 32bit installers.
FYI - Switching from 32bit to 64bit OS installations (and vice versa) will require a complete re-install.