(20 . 6)(20 . 7)
93 with FZ_Arith;
94 with FZ_Shift;
95 with FZ_Mul;
96 with FZ_Sqr;
97
98
99 -- Wrapper bodies for routines that we inline, but must enforce preconditions
(107 . 4)(108 . 13)
101 XY_Lo => XY_Lo, XY_Hi => XY_Hi);
102 end FFA_FZ_Multiply;
103
104
105 -- Square. Preserves the inputs.
106 procedure FFA_FZ_Square(X : in FZ;
107 XX_Lo : out FZ;
108 XX_Hi : out FZ) is
109 begin
110 FZ_Sqr.FZ_Square_Buffered(X => X, XX_Lo => XX_Lo, XX_Hi => XX_Hi);
111 end FFA_FZ_Square;
112
113 end FFA;