44 typedef char flag;  typedef
72 flag extractFloat64Sign(float64 a);
75 flag extractFloat32Sign(float32 a);
77 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig);
79 float32 packFloat32(flag zSign, int16 zExp, bits32 zSig);
98 static float64 normalizeRoundAndPackFloat64(flag zSign, int16 zExp,
100 static float64 subFloat64Sigs(float64 a, float64 b, flag zSign);
101 static float64 addFloat64Sigs(float64 a, float64 b, flag zSign);
102 static float32 roundAndPackFloat32(flag zSign, int16 zExp, bits32 zSig);
103 static float32 normalizeRoundAndPackFloat32(flag zSign, int16 zExp,
105 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig);
106 static float32 subFloat32Sigs(float32 a, float32 b, flag zSign);
107 static float32 addFloat32Sigs(float32 a, float32 b, flag zSign);
119 flag extractFloat64Sign(float64 a)  in extractFloat64Sign()
134 flag extractFloat32Sign(float32 a)  in extractFloat32Sign()
144 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig)  in packFloat64()
214 static float64 normalizeRoundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in normalizeRoundAndPackFloat64()
224 static float64 subFloat64Sigs(float64 a, float64 b, flag zSign)  in subFloat64Sigs()
285 static float64 addFloat64Sigs(float64 a, float64 b, flag zSign)  in addFloat64Sigs()
342 float32 packFloat32(flag zSign, int16 zExp, bits32 zSig)  in packFloat32()
360 static float32 roundAndPackFloat32(flag zSign, int16 zExp, bits32 zSig)  in roundAndPackFloat32()
362 	flag roundNearestEven;  in roundAndPackFloat32()
364 	flag isTiny;  in roundAndPackFloat32()
402 static float32 normalizeRoundAndPackFloat32(flag zSign, int16 zExp, bits32 zSig)  in normalizeRoundAndPackFloat32()
411 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in roundAndPackFloat64()
413 	flag roundNearestEven;  in roundAndPackFloat64()
415 	flag isTiny;  in roundAndPackFloat64()
454 static float32 subFloat32Sigs(float32 a, float32 b, flag zSign)  in subFloat32Sigs()
516 static float32 addFloat32Sigs(float32 a, float32 b, flag zSign)  in addFloat32Sigs()
575 	flag aSign, bSign;  in float64_sub()
589 	flag aSign, bSign;  in float32_sub()
603 	flag aSign, bSign;  in float32_add()
617 	flag aSign, bSign;  in float64_add()
718 	flag aSign, bSign, zSign;  in float64_div()
776 	flag aSign, bSign, zSign;  in float32_div()
914     flag aSign;  in float64_to_float32()