docs: def _format_finite(negative, digits, dot_pos):
      """Given a (possibly empty) string of digits and an integer
      dot_pos indicating the position of the decimal point relative to
      the start of that string, output a formatted numeric string with
      the same value and same implicit exponent."""
  
      # strip leading zeros
      olddigits = digits
      digits = digits.lstrip('0')
      dot_pos -= len(olddigits) - len(digits)
  
      # value is 0.digits * 10**dot_pos
      use_exponent = dot_pos <= -4 or dot_pos > len(digits)
      if use_exponent:
          exp = dot_pos - 1 if digits else dot_pos
          dot_pos -= exp
  
      # left pad with zeros, insert decimal point, and add exponent
      if dot_pos <= 0:
          digits = '0' * (1 - dot_pos) + digits
          dot_pos += 1 - dot_pos
      assert 1 <= dot_pos <= len(digits)
      if dot_pos < len(digits):
          digits = digits[:dot_pos] + '.' + digits[dot_pos:]
      if use_exponent:
          digits += "e{0:+03d}".format(exp)
      return '-' + digits if negative else digits