(38 . 6)(38 . 14)
1087 pragma Inline_Always(FZ_ZeroP);
1088
1089
1090 -- 1 iff N != 0 (branch-free); else 0
1091 function FZ_NZeroP(N : in FZ) return WBool is
1092 begin
1093 return 1 xor FZ_ZeroP(N);
1094 end FZ_NZeroP;
1095 pragma Inline_Always(FZ_NZeroP);
1096
1097
1098 -- 1 iff N is odd
1099 function FZ_OddP(N : in FZ) return WBool is
1100 begin