158    have to first fix the decimal separator.
216     /* Check that what's left begins with a digit or decimal point */  in _PyOS_ascii_strtod()
225            swapped for the current locale's decimal point before we  in _PyOS_ascii_strtod()
227            locale's decimal point then the input is invalid. */  in _PyOS_ascii_strtod()
250         /* For the other cases, we need not convert the decimal  in _PyOS_ascii_strtod()
257            locale-specific decimal point */  in _PyOS_ascii_strtod()
445 /* Given a string that may have a decimal point in the current
550 /* Remove trailing zeros after the decimal point from a numeric string; also
551    remove the decimal point if all digits following it are zero.  The numeric
553    whitespace.  Assumes that the decimal point is '.'. */
566     /* if there's no decimal point there's nothing to do */  in remove_trailing_zeros()
593 /* Ensure that buffer has a decimal point in it.  The decimal point will not
594    be in the current locale, it will always be '.'. Don't add a decimal point
620             /* Nothing to do, we already have a decimal  in ensure_decimal_point()
624             /* We have a decimal point, but no following  in ensure_decimal_point()
625                digit.  Insert a zero after the decimal. */  in ensure_decimal_point()
669         /* insert decimal point */  in ensure_decimal_point()
704  * decimal point. To format the number you pass in
708  * 'Z' is the same as 'g', except it always has a decimal and
709  *     at least one digit after the decimal.
725        also with at least one character past the decimal. */  in _PyOS_ascii_formatd()
772     /* Get the current locale, and find the decimal point string.  in _PyOS_ascii_formatd()
784        after the decimal point (and make sure we have a decimal point);  in _PyOS_ascii_formatd()
832         /* The repr() precision (17 significant decimal digits) is the  in PyOS_double_to_string()
849          1 byte for each digit of the decimal significand, and  in PyOS_double_to_string()
852          1 for a possible decimal point  in PyOS_double_to_string()
1010     /* _Py_dg_dtoa returns a digit string (no decimal point or exponent).  in format_float_short()
1084        decimal point that could appear either in <digits> or in the  in format_float_short()
1097        position 'decpt' of the decimal point, and computes 'vdigits_start'  in format_float_short()
1129     /* if using an exponent, reset decimal point position to 1 and adjust  in format_float_short()
1147     /* decimal point should be in (vdigits_start, vdigits_end] */  in format_float_short()
1153         /* sign, decimal point and trailing 0 byte */  in format_float_short()
1179        so we include exactly one decimal point */  in format_float_short()
1193     /* Digits, with included decimal point */  in format_float_short()
1219     /* Delete a trailing decimal pt unless using alternative formatting. */  in format_float_short()