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