Searched refs:other_digits (Results 1 – 1 of 1) sorted by relevance
118 uint64_t other_digits = fixed - top_digit * scale; in halide_double_to_string() local122 dst = halide_int64_to_string(dst, end, other_digits, decimal_places); in halide_double_to_string()