Searched defs:make_double (Results 1 – 2 of 2) sorted by relevance
420 f7_double_t make_double (uint64_t x) in make_double() function