python typing literal int