Fix integer conversion warning on 32-bit systems