Searched refs:double_to_u64 (Results 1 – 6 of 6) sorted by relevance
484 auto double_to_u64 = [](double d) { in TEST() local510 [&] { return double_to_u64(dist(urbg)); }); in TEST()527 [&] { return double_to_u64(dist(urbg)); }); in TEST()544 [&] { return double_to_u64(dist(urbg)); }); in TEST()
501 auto double_to_u64 = [](double d) { in TEST() local527 [&] { return double_to_u64(dist(urbg)); }); in TEST()544 [&] { return double_to_u64(dist(urbg)); }); in TEST()561 [&] { return double_to_u64(dist(urbg)); }); in TEST()
496 auto double_to_u64 = [](double d) { in TEST() local522 [&] { return double_to_u64(dist(urbg)); }); in TEST()539 [&] { return double_to_u64(dist(urbg)); }); in TEST()556 [&] { return double_to_u64(dist(urbg)); }); in TEST()