[win32] Int32x32To64 is already available as a macro