or even just "int" at this is the name of the python type.