Searched refs:to_res53 (Results 1 – 1 of 1) sorted by relevance
120 static inline double to_res53(uint64_t v) { in to_res53() function127 return to_res53(x | ((uint64_t)y << 32)); in to_res53_mix()133 return to_res53(gen_rand64(ctx)); in genrand_res53()