<> <> DIRECTORY Rope, Basics, IO, BigCardinals; BigCardExtras: CEDAR DEFINITIONS = BEGIN OPEN BC: BigCardinals; BigCard: TYPE = BC.BigCARD; CARD: TYPE = LONG CARDINAL; <<>> BigPowerOfTen: PROC [exponent: CARDINAL] RETURNS [power: BigCard]; BigToREAL: PROC [in: BigCard, reuse: BOOLEAN _ FALSE] RETURNS [out: REAL]; BigOne: PROC [in: BigCard] RETURNS [BOOLEAN]; <> LCToBC: PUBLIC PROC [lc: CARD] RETURNS [BigCard]; <> FirstOneBit: PUBLIC PROC [bc: BigCard] RETURNS [INT]; <> END.