Issue 4393 BigInt tests fail on 32-bit platforms

Fix for #4393.