66 typedef unsigned long long float64;  typedef
71 bits64 extractFloat64Frac(float64 a);
72 flag extractFloat64Sign(float64 a);
73 int16 extractFloat64Exp(float64 a);
77 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig);
81 float64 float64_sub(float64 a, float64 b);
84 float64 float64_add(float64 a, float64 b);
85 float64 float64_div(float64 a, float64 b);
88 float64 float64_mul(float64 a, float64 b);
89 float32 float64_to_float32(float64 a);
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);
105 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig);
114 bits64 extractFloat64Frac(float64 a)  in extractFloat64Frac()
119 flag extractFloat64Sign(float64 a)  in extractFloat64Sign()
124 int16 extractFloat64Exp(float64 a)  in extractFloat64Exp()
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()
411 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in roundAndPackFloat64()
573 float64 float64_sub(float64 a, float64 b)  in float64_sub()
615 float64 float64_add(float64 a, float64 b)  in float64_add()
716 float64 float64_div(float64 a, float64 b)  in float64_div()
865 float64 float64_mul(float64 a, float64 b)  in float64_mul()
912 float32 float64_to_float32(float64 a)  in float64_to_float32()