fix octal literals as Python constants, convert octal/binary/hex integer literals to plain decimal integers when using them as Python integers