Searched refs:float64_one_point_five (Results 1 – 2 of 2) sorted by relevance
918 #define float64_one_point_five make_float64(0x3FF8000000000000ULL) macro
304 return float64_one_point_five; in HELPER()