(25 . 6)(25 . 9)
   
   pragma Pure;
   
   -- Determine the Bitness of N
   function FZ_Bitness(N : in FZ) return Bit_Count;
   
   -- N := 0
   procedure FZ_Clear(N : out FZ);