Use WIN32 64-bit type on WIN32.