76     float64 f64;
114 float64 syst_int32_to_float64( int32 a )  in syst_int32_to_float64()
155 float64 syst_int64_to_float64( int64 a )  in syst_int64_to_float64()
205 float64 syst_float32_to_float64( float32 a )  in syst_float32_to_float64()
298 int32 syst_float64_to_int32_round_to_zero( float64 a )  in syst_float64_to_int32_round_to_zero()
307 int64 syst_float64_to_int64_round_to_zero( float64 a )  in syst_float64_to_int64_round_to_zero()
316 float32 syst_float64_to_float32( float64 a )  in syst_float64_to_float32()
327 floatx80 syst_float64_to_floatx80( float64 a )  in syst_float64_to_floatx80()
340 float128 syst_float64_to_float128( float64 a )  in syst_float64_to_float128()
351 float64 syst_float64_add( float64 a, float64 b )  in syst_float64_add()
360 float64 syst_float64_sub( float64 a, float64 b )  in syst_float64_sub()
369 float64 syst_float64_mul( float64 a, float64 b )  in syst_float64_mul()
378 float64 syst_float64_div( float64 a, float64 b )  in syst_float64_div()
387 float64 syst_float64_sqrt( float64 a )  in syst_float64_sqrt()
396 flag syst_float64_eq( float64 a, float64 b )  in syst_float64_eq()
403 flag syst_float64_le( float64 a, float64 b )  in syst_float64_le()
410 flag syst_float64_lt( float64 a, float64 b )  in syst_float64_lt()
446 float64 syst_floatx80_to_float64( floatx80 a )  in syst_floatx80_to_float64()
544 float64 syst_float128_to_float64( float128 a )  in syst_float128_to_float64()