Searched refs:as_uint64_bits (Results 1 – 1 of 1) sorted by relevance
26 static inline uint64_t as_uint64_bits(double x) { in as_uint64_bits() function40 static inline uint32_t top12_bits(double x) { return as_uint64_bits(x) >> 52; } in top12_bits()