The code probably checks if the following number is greater than 10 (which fails for NaN) and otherwise adds a 0 in front.

That is a funny idea. I will totally do this the next time I am using a support ticketing system.

But most humans responding there have no clue how to write Python…

I had (tbh I still have it somewhere) a Samsung Galaxy (the first model, no S, no number, no anything) as it was the first Android phone available in my country. About a year later Samsung decided they won’t support this model anymore and I had to install custom firmware to keep it up to date to the quickly evolving Android landscape back then. I never bought anything from them again.