(41 . 4)(41 . 8)
368 function FZ_OddP(N : in FZ) return WBool;
369 pragma Inline_Always(FZ_OddP);
370
371 -- 1 iff N fits inside one Word
372 function FZ_OneWordP(N : in FZ) return WBool;
373 pragma Inline_Always(FZ_OneWordP);
374
375 end FZ_Pred;