Update mythril/analysis/modules/integer.py
Update mythril/analysis/modules/integer.py

Co-Authored-By: norhh <acb4e0c1fec597bcd9892f4d62491f93ff9ed268@gmail.com>
b-mueller/mythril,b-mueller/mythril,b-mueller/mythril,b-mueller/mythril