64 float128 syst_int32_to_float128( int32 a )  in syst_int32_to_float128()
66     float128 z;  in syst_int32_to_float128()
110 float128 syst_int64_to_float128( int64 a )  in syst_int64_to_float128()
112     float128 z;  in syst_int64_to_float128()
165 float128 syst_float32_to_float128( float32 a )  in syst_float32_to_float128()
167     float128 z;  in syst_float32_to_float128()
275 float128 syst_float64_to_float128( float64 a )  in syst_float64_to_float128()
277     float128 z;  in syst_float64_to_float128()
455 int32 syst_float128_to_int32_round_to_zero( float128 a )  in syst_float128_to_int32_round_to_zero()
464 int64 syst_float128_to_int64_round_to_zero( float128 a )  in syst_float128_to_int64_round_to_zero()
473 float32 syst_float128_to_float32( float128 a )  in syst_float128_to_float32()
482 float64 syst_float128_to_float64( float128 a )  in syst_float128_to_float64()
491 float128 syst_float128_add( float128 a, float128 b )  in syst_float128_add()
493     float128 z;  in syst_float128_add()
501 float128 syst_float128_sub( float128 a, float128 b )  in syst_float128_sub()
503     float128 z;  in syst_float128_sub()
511 float128 syst_float128_mul( float128 a, float128 b )  in syst_float128_mul()
513     float128 z;  in syst_float128_mul()
521 float128 syst_float128_div( float128 a, float128 b )  in syst_float128_div()
523     float128 z;  in syst_float128_div()
531 flag syst_float128_eq( float128 a, float128 b )  in syst_float128_eq()
538 flag syst_float128_le( float128 a, float128 b )  in syst_float128_le()
545 flag syst_float128_lt( float128 a, float128 b )  in syst_float128_lt()