fix BigInt --> Int64 conversion on 32-bit platforms [fix #5315]