Lines Matching refs:float64_val
666 uint64_t a = float64_val(a_);683 uint64_t a = float64_val(a_);709 uint64_t a = float64_val(a_);728 z.sign = float64_val(a)>>63;730 z.high = float64_val(a)<<12;772 av = float64_val(a);773 bv = float64_val(b);
