The whole codebase was recently reformatted with "pyformat" (dbaafbc). Could you please share how that was configured? Forks based on the unformatted code are going to have a ton of merge conflicts ...

Unlike in integer literals, leading zeros are allowed in the numeric parts. For example, 077.010 is legal, and denotes the same number as 77.10. The leading zero on the fractional part is significant ...