Lines Matching full:ieee754
1654 /* Given an IEEE754 double, produce an I64 with the same bit
1669 /* Given an IEEE754 single, produce an I64 with the same bit
2606 /* Given an I32, produce an IEEE754 float with the same bit
3059 /* Given an I64, produce an IEEE754 double with the same
