66 typedef unsigned long float64;  typedef
186 float64
213 float64
250 float64
384 syst_float64_to_int32_round_to_zero(float64 a)  in syst_float64_to_int32_round_to_zero()
393 syst_float64_to_int64_round_to_zero(float64 a)  in syst_float64_to_int64_round_to_zero()
402 syst_float64_to_float32(float64 a)  in syst_float64_to_float32()
411 syst_float64_to_float128(float64 a)  in syst_float64_to_float128()
419 float64
420 syst_float64_add(float64 a, float64 b)  in syst_float64_add()
429 float64
430 syst_float64_sub(float64 a, float64 b)  in syst_float64_sub()
439 float64
440 syst_float64_mul(float64 a, float64 b)  in syst_float64_mul()
449 float64
450 syst_float64_div(float64 a, float64 b)  in syst_float64_div()
459 float64
460 syst_float64_sqrt(float64 a)  in syst_float64_sqrt()
468 flag syst_float64_eq(float64 a, float64 b)  in syst_float64_eq()
479 flag syst_float64_le(float64 a, float64 b)  in syst_float64_le()
490 flag syst_float64_lt(float64 a, float64 b)  in syst_float64_lt()
501 flag syst_float64_eq_signaling(float64 a, float64 b)  in syst_float64_eq_signaling()
512 flag syst_float64_le_quiet(float64 a, float64 b)  in syst_float64_le_quiet()
523 flag syst_float64_lt_quiet(float64 a, float64 b)  in syst_float64_lt_quiet()
561 float64