(32 . 6)(32 . 9)
1105 -- 1 iff N == 0 (branch-free); else 0
1106 function FZ_ZeroP(N : in FZ) return WBool;
1107
1108 -- 1 iff N != 0 (branch-free); else 0
1109 function FZ_NZeroP(N : in FZ) return WBool;
1110
1111 -- 1 iff N is odd
1112 function FZ_OddP(N : in FZ) return WBool;
1113