Change convertUInt32ToDouble to use an int scratch register.

Only on X86, and still untested.

Change-Id: I746daa47ed019ce0017a67a228a719983b1ebaa6
Reviewed-by: Simon Hausmann <simon.hausmann@digia.com>