Searched refs:float_to_double (Results 1 – 6 of 6) sorted by relevance
13 float_to_double(1234.5678f), in main()14 float_to_double(0.00001f) in main()
16 extern uint64_t float_to_double(float value);
29 uint64_t got_double = float_to_double(got_float); in main()
16 uint64_t float_to_double(float value) in float_to_double() function
19 2) Whenever writing to a 'double' field, use float_to_double().
129 define float_to_double 137