Minor fix.
Add "base" option to "int()". Close #330