py/objint: Extract small int value directly because type is known.
py/objint: Extract small int value directly because type is known.

lowRISC/micropython,swegener/micropython,oopy/micropython,oopy/micropython,adafruit/circuitpython,ryannathans/micropython,pfalcon/micropython,deshipu/micropython,adafruit/micropython,chrisdearman/micropython,pramasoul/micropython,puuu/micropython,chrisdearman/micropython,chrisdearman/micropython,TDAbboud/micropython,Peetz0r/micropython-esp32,swegener/micropython,tralamazza/micropython,oopy/micropython,toolmacher/micropython,lowRISC/micropython,PappaPeppar/micropython,SHA2017-badge/micropython-esp32,pozetroninc/micropython,AriZuu/micropython,toolmacher/micropython,alex-robbins/micropython,kerneltask/micropython,pfalcon/micropython,henriknelson/micropython,selste/micropython,cwyark/micropython,tralamazza/micropython,kerneltask/micropython,torwag/micropython,ryannathans/micropython,pfalcon/micropython,trezor/micropython,Timmenem/micropython,deshipu/micropython,selste/micropython,adafruit/micropython,blazewicz/micropython,ryannathans/micropython,Peetz0r/micropython-esp32,pfalcon/micropython,AriZuu/micropython,lowRISC/micropython,AriZuu/micropython,trezor/micropython,pozetroninc/micropython,ryannathans/micropython,swegener/micropython,dmazzella/micropython,micropython/micropython-esp32,Timmenem/micropython,selste/micropython,blazewicz/micropython,deshipu/micropython,MrSurly/micropython-esp32,adafruit/circuitpython,toolmacher/micropython,TDAbboud/micropython,PappaPeppar/micropython,TDAbboud/micropython,MrSurly/micropython-esp32,pramasoul/micropython,TDAbboud/micropython,kerneltask/micropython,deshipu/micropython,Timmenem/micropython,puuu/micropython,puuu/micropython,micropython/micropython-esp32,torwag/micropython,PappaPeppar/micropython,oopy/micropython,pramasoul/micropython,infinnovation/micropython,MrSurly/micropython-esp32,SHA2017-badge/micropython-esp32,hiway/micropython,chrisdearman/micropython,kerneltask/micropython,adafruit/micropython,HenrikSolver/micropython,lowRISC/micropython,blazewicz/micropython,infinnovation/micropython,deshipu/micropython,Peetz0r/micropython-esp32,alex-robbins/micropython,ryannathans/micropython,tobbad/micropython,chrisdearman/micropython,MrSurly/micropython-esp32,SHA2017-badge/micropython-esp32,AriZuu/micropython,Timmenem/micropython,hiway/micropython,adafruit/circuitpython,Timmenem/micropython,hiway/micropython,henriknelson/micropython,tobbad/micropython,tobbad/micropython,henriknelson/micropython,tralamazza/micropython,bvernoux/micropython,SHA2017-badge/micropython-esp32,puuu/micropython,trezor/micropython,dmazzella/micropython,cwyark/micropython,hiway/micropython,hiway/micropython,MrSurly/micropython,tralamazza/micropython,trezor/micropython,dmazzella/micropython,TDAbboud/micropython,alex-robbins/micropython,bvernoux/micropython,infinnovation/micropython,SHA2017-badge/micropython-esp32,cwyark/micropython,trezor/micropython,HenrikSolver/micropython,tobbad/micropython,swegener/micropython,pozetroninc/micropython,torwag/micropython,HenrikSolver/micropython,pozetroninc/micropython,MrSurly/micropython,PappaPeppar/micropython,toolmacher/micropython,pramasoul/micropython,lowRISC/micropython,swegener/micropython,pramasoul/micropython,cwyark/micropython,pfalcon/micropython,selste/micropython,infinnovation/micropython,MrSurly/micropython,blazewicz/micropython,dmazzella/micropython,HenrikSolver/micropython,toolmacher/micropython,puuu/micropython,oopy/micropython,infinnovation/micropython,micropython/micropython-esp32,henriknelson/micropython,bvernoux/micropython,torwag/micropython,kerneltask/micropython,blazewicz/micropython,adafruit/micropython,adafruit/circuitpython,henriknelson/micropython,torwag/micropython,bvernoux/micropython,adafruit/circuitpython,adafruit/micropython,Peetz0r/micropython-esp32,MrSurly/micropython,adafruit/circuitpython,micropython/micropython-esp32,cwyark/micropython,pozetroninc/micropython,selste/micropython,HenrikSolver/micropython,bvernoux/micropython,PappaPeppar/micropython,MrSurly/micropython-esp32,Peetz0r/micropython-esp32,tobbad/micropython,AriZuu/micropython,micropython/micropython-esp32,alex-robbins/micropython,alex-robbins/micropython,MrSurly/micropython