Функция, которая в конечном итоге отвечает за выполнение этого форматирования, PyOS_snprintf
(см. источники ). Как вы догадываетесь, это, к сожалению, зависит от системы, то есть зависит от vsprintf
, vsnprintf
или других подобных функций, которые в конечном итоге предоставляются библиотекой времени выполнения C платформы (я не помню, говорит ли стандарт C о Форматирование «% f» для чисел с плавающей точкой, которые находятся «точно посередине» между двумя возможными округленными значениями ... но, является ли стандарт C слабым по этому поводу, или, скорее, стандарт C строг, но некоторые среды выполнения C его нарушают, в конечном итоге это довольно академический выпуск ...).