python type hint literal int