Searched refs:leading_digit (Results 1 – 1 of 1) sorted by relevance
1446 char* leading_digit = &buffer_start[sign]; in __floating_to_chars_precision() local1447 leading_digit[1] = leading_digit[0]; in __floating_to_chars_precision()
Completed in 6 milliseconds