Searched refs:get_num_f64 (Results 1 – 3 of 3) sorted by relevance
31 int get_num_f64(void);
86 nums = get_num_f64(); in CONVERT_DOUBLE_TO_INT()
190 int get_num_f64(void) in get_num_f64() function