With Python 3.8, is there a reason why 00 or 000000 are valid while 03 yields an error?
>>> 000
0
03
File "<stdin>", line 1
03
^
SyntaxError: leading zeros in decimal integer literals are not permitted; use an 0o prefix for octal integers