Searched refs:get_f64 (Results 1 – 3 of 3) sorted by relevance
36 double get_f64(int i);
95 double input = get_f64(j); in CONVERT_DOUBLE_TO_INT()
195 double get_f64(int i) in get_f64() function