Fix int64ToInteger 0xFFFFFFFF00000000 on 32bit machine; trac #2223