Cherry-pick this PR: https://github.com/micropython/micropython/pull/8985 when it is done. This is another improvement on floating-point formatting.