python 3 : print and cast to int #9

jbpoline wants to merge 1 commit intojonathan-taylor:masterjonathan-taylor/regreg:masterfrom

jbpoline:mend-rstjbpoline/regreg:mend-rstCopy head branch name to clipboard