Convert returned BigInt to Int