py: int() default to decimal

[wetor]

https://docs.python.org/3.4/library/functions.html#int

int(x, base=10)

If base=0, an exception will be thrown when executing int("07")

[codecov]

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (652daef) 74.42% compared to head (9ecc919) 74.42%.

Additional details and impacted files

@@ Coverage Diff @@## main #221 +/- ##
=======================================
Coverage 74.42% 74.42% =======================================
Files 76 76 Lines 12675 12675 =======================================
Hits 9433 9433 Misses 2567 2567 Partials 675 675 

Impacted Files	Coverage Δ
py/int.go	77.81% <100.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

[ncw]

Does this change break this (which is correct)?

$ gpython
[snip]
>>> >>> 07
Compile error: File "<string>", line 1, offset 0
07
SyntaxError: 'illegal decimal with leading zero'
>>> 

[wetor]

I tried it and it didn't affect here, because this PR fixes ValueError: "invalid literal for int() with base 10: '07'" at "sigils" error.

[ncw]

Looks good to me - thank you :-)