RawExport bugfix: make sure we always deal with BigInt